diff options
author | Son Ho | 2022-01-27 01:09:11 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 01:09:11 +0100 |
commit | 369388c9cc0378f4ad804494d1b4ec79acf82ace (patch) | |
tree | 035572153dc3321a267f213d96d48c99457b8bc9 /src/Pure.ml | |
parent | 0f63c779f4a290a82c94b876388e27df81b0ce2c (diff) |
Add a list of input variables to Pure.fun_def
Diffstat (limited to '')
-rw-r--r-- | src/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index ea9687df..fc00095f 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -226,5 +226,6 @@ type fun_def = { (to identify the forward/backward functions) later. *) signature : fun_sig; + inputs : var list; body : expression; } |