Simplify AST by removing LB_val_explicit and replace LB_val_implicit with just LB_val in AST

also rename functions in rewriter.ml appropriately.

1 files changed, 1 insertions, 2 deletions

diff --git a/src/ast.ml b/src/ast.ml
index 930af68f..bf9b11aa 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -374,8 +374,7 @@ and 'a pexp =
    Pat_aux of 'a pexp_aux * 'a annot
 
 and 'a letbind_aux =  (* Let binding *)
-   LB_val_explicit of typschm * 'a pat * 'a exp (* value binding, explicit type ('a pat must be total) *)
- | LB_val_implicit of 'a pat * 'a exp (* value binding, implicit type ('a pat must be total) *)
+   LB_val of 'a pat * 'a exp (* value binding, implicit type ('a pat must be total) *)
 
 and 'a letbind =
    LB_aux of 'a letbind_aux * 'a annot