Module `Patterns.General`

type view = [

| Half_simple.view
| `Var((Ident.t, Asttypes.loc(string)))
| `Alias((Typedtree.pattern, Ident.t, Asttypes.loc(string)))

];

type pattern = Typedtree.pattern_data(view);

let view: Typedtree.pattern => pattern;

let erase: Typedtree.pattern_data([< view ]) => Typedtree.pattern;

let strip_vars: pattern => Half_simple.pattern;