Tast_helper.Pat
Sourceval record :
?loc:Ocaml_parsing.Location.t ->
Ocaml_typing.Env.t ->
Ocaml_typing.Types.type_expr ->
(Ocaml_parsing.Longident.t Ocaml_parsing.Asttypes.loc
* Ocaml_typing.Types.label_description
* Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.general_pattern)
list ->
Ocaml_parsing.Asttypes.closed_flag ->
Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.pattern_desc
Ocaml_typing.Typedtree.pattern_data
val construct :
?loc:Ocaml_parsing.Location.t ->
Ocaml_typing.Env.t ->
Ocaml_typing.Types.type_expr ->
Ocaml_parsing.Longident.t Ocaml_parsing.Asttypes.loc ->
Ocaml_typing.Types.constructor_description ->
Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.general_pattern list ->
(Ocaml_typing.Ident.t Ocaml_parsing.Asttypes.loc list
* Ocaml_typing.Typedtree.core_type)
option ->
Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.pattern_desc
Ocaml_typing.Typedtree.pattern_data
val pat_or :
?loc:Ocaml_parsing.Location.t ->
?row_desc:Ocaml_typing.Types.row_desc ->
Ocaml_typing.Env.t ->
Ocaml_typing.Types.type_expr ->
'a Ocaml_typing.Typedtree.general_pattern ->
'a Ocaml_typing.Typedtree.general_pattern ->
'a Ocaml_typing.Typedtree.pattern_desc Ocaml_typing.Typedtree.pattern_data
val variant :
?loc:Ocaml_parsing.Location.t ->
Ocaml_typing.Env.t ->
Ocaml_typing.Types.type_expr ->
Ocaml_parsing.Asttypes.label ->
Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.general_pattern option ->
Ocaml_typing.Types.row_desc ref ->
Ocaml_typing.Typedtree.value Ocaml_typing.Typedtree.pattern_desc
Ocaml_typing.Typedtree.pattern_data