Module `Patterns.General`

type view = [

| Ocaml_typing.Patterns.Half_simple.view
| `Var of Ocaml_typing.Ident.t * string Ocaml_parsing.Asttypes.loc * Ocaml_typing.Types.Uid.t * Ocaml_typing.Jkind.Sort.t * Ocaml_typing.Mode.Value.l
| `Alias of Ocaml_typing.Typedtree.pattern * Ocaml_typing.Ident.t * string Ocaml_parsing.Asttypes.loc * Ocaml_typing.Types.Uid.t * Ocaml_typing.Jkind.Sort.t * Ocaml_typing.Mode.Value.l * Ocaml_typing.Types.type_expr

]

type pattern =
  Ocaml_typing.Patterns.General.view Ocaml_typing.Typedtree.pattern_data

val view : 
  Ocaml_typing.Typedtree.pattern ->
  Ocaml_typing.Patterns.General.pattern

val erase : 
  [< Ocaml_typing.Patterns.General.view ] Ocaml_typing.Typedtree.pattern_data ->
  Ocaml_typing.Typedtree.pattern

val strip_vars : 
  Ocaml_typing.Patterns.General.pattern ->
  Ocaml_typing.Patterns.Half_simple.pattern