diff options
Diffstat (limited to 'src/ExtractAst.ml')
-rw-r--r-- | src/ExtractAst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ExtractAst.ml b/src/ExtractAst.ml index da88dc04..dd793291 100644 --- a/src/ExtractAst.ml +++ b/src/ExtractAst.ml @@ -45,7 +45,7 @@ type term = Otherwise, we can use `App` (with the record constructor). *) -type fun_def = { +type fun_decl = { name : string; inputs : pattern list; (** We can match over the inputs, hence the use of [pattern]. In practice, |