diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 13:29:57 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 13:29:57 +0200 |
| commit | 8d61fb9ca076f481850425f4424469acbb1afe7c (patch) | |
| tree | c3fa1add74a4cc7c565492169eda91b1be15d7ba /rust/src/ast.rs | |
| parent | e4af8559784e851047702045ff677c9a91897fdd (diff) | |
| download | lambda-nantes-8d61fb9ca076f481850425f4424469acbb1afe7c.tar.gz | |
[wip] generate nested terms through pairing function
Diffstat (limited to 'rust/src/ast.rs')
| -rw-r--r-- | rust/src/ast.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/rust/src/ast.rs b/rust/src/ast.rs index 29d548f..cfc0e40 100644 --- a/rust/src/ast.rs +++ b/rust/src/ast.rs @@ -88,10 +88,6 @@ mod ast_tests { use proptest::collection::vec; use proptest::prelude::*; - fn any_sym() -> impl Strategy<Value = Value> { - identifier().prop_map(Sym) - } - proptest! { #[test] |