module Matching

val for_function : Location.t -> int Pervasives.ref option -> Lambda.lambda -> (Typedtree.pattern * Lambda.lambda) list -> Typedtree.partial -> Lambda.lambda

val for_trywith : Lambda.lambda -> (Typedtree.pattern * Lambda.lambda) list -> Lambda.lambda

val for_let : Location.t -> Lambda.lambda -> Typedtree.pattern -> Lambda.lambda -> Lambda.lambda

val for_multiple_match : Location.t -> Lambda.lambda list -> (Typedtree.pattern * Lambda.lambda) list -> Typedtree.partial -> Lambda.lambda

val for_tupled_function : Location.t -> Ident.t list -> (Typedtree.pattern list * Lambda.lambda) list -> Typedtree.partial -> Lambda.lambda

val flatten_pattern : int -> Typedtree.pattern -> Typedtree.pattern list

val expand_stringswitch : Lambda.lambda -> (string * Lambda.lambda) list -> Lambda.lambda option -> Lambda.lambda

val inline_lazy_force : Lambda.lambda -> Location.t -> Lambda.lambda