From 9e618787c0ad6a2885bc13df17ade4d589048909 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Thu, 20 Jul 2023 18:08:12 -0700 Subject: [PATCH] snap --- ocaml/fstar-lib/generated/FStar_Reflection_Typing.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ocaml/fstar-lib/generated/FStar_Reflection_Typing.ml b/ocaml/fstar-lib/generated/FStar_Reflection_Typing.ml index 8d131e8eba3..c16d0c473d8 100644 --- a/ocaml/fstar-lib/generated/FStar_Reflection_Typing.ml +++ b/ocaml/fstar-lib/generated/FStar_Reflection_Typing.ml @@ -1207,9 +1207,9 @@ let uu___is_Non_informative_total_arrow uu___ uu___1 = match uu___1 with | Non_informative_total_arrow _ -> true | _ -> false let uu___is_Non_informative_ghost_arrow uu___ uu___1 = match uu___1 with | Non_informative_ghost_arrow _ -> true | _ -> false -type ('bnds, 'pat) bindings_ok_for_pat = Obj.t -type ('bs, 'br) bindings_ok_for_branch = Obj.t -type ('bss, 'brs) bindings_ok_for_branch_N = Obj.t +type ('bnds, 'pat, 'uuuuu) bindings_ok_for_pat = Obj.t +type ('g, 'bs, 'br) bindings_ok_for_branch = Obj.t +type ('g, 'bss, 'brs) bindings_ok_for_branch_N = Obj.t let (binding_to_namedv : FStar_Reflection_V2_Data.binding -> FStar_Reflection_Types.namedv) = fun b ->