Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl

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,