Module Matching
val for_function :
scopes:Debuginfo.Scoped_location.scopes ->
arg_sort:Jkind.Sort.Const.t ->
arg_layout:Lambda.layout ->
return_layout:Lambda.layout ->
Location.t ->
int Stdlib.ref option ->
Lambda.lambda ->
(Typedtree.pattern * Lambda.lambda) list ->
Typedtree.partial ->
Lambda.lambdaval for_trywith :
scopes:Debuginfo.Scoped_location.scopes ->
return_layout:Lambda.layout ->
Location.t ->
Lambda.lambda ->
(Typedtree.pattern * Lambda.lambda) list ->
Lambda.lambdaval for_let :
scopes:Debuginfo.Scoped_location.scopes ->
arg_sort:Jkind.Sort.Const.t ->
return_layout:Lambda.layout ->
Location.t ->
Lambda.lambda ->
Asttypes.mutable_flag ->
Typedtree.pattern ->
Lambda.lambda ->
Lambda.lambdaval for_multiple_match :
scopes:Debuginfo.Scoped_location.scopes ->
return_layout:Lambda.layout ->
Location.t ->
(Lambda.lambda * Jkind.Sort.Const.t * Lambda.layout) list ->
Lambda.locality_mode ->
(Typedtree.pattern * Lambda.lambda) list ->
Typedtree.partial ->
Lambda.lambdaval for_tupled_function :
scopes:Debuginfo.Scoped_location.scopes ->
return_layout:Lambda.layout ->
Location.t ->
Ident.t list ->
(Typedtree.pattern list * Lambda.lambda) list ->
Typedtree.partial ->
Lambda.lambdaval for_optional_arg_default :
scopes:Debuginfo.Scoped_location.scopes ->
Location.t ->
Typedtree.pattern ->
param:Ident.t ->
default_arg:Lambda.lambda ->
default_arg_sort:Jkind.Sort.Const.t ->
return_layout:Lambda.layout ->
Lambda.lambda ->
Lambda.lambdafor_optional_arg_default pat body ~default_arg ~param is:
let $pat =
match $param with
| Some x -> x
| None -> $default_arg
in
$bodyval flatten_pattern : int -> Typedtree.pattern -> Typedtree.pattern listval expand_stringswitch :
Lambda.scoped_location ->
Lambda.layout ->
Lambda.lambda ->
(string * Lambda.lambda) list ->
Lambda.lambda option ->
Lambda.lambdaval inline_lazy_force :
Lambda.lambda ->
Lambda.region_close ->
Lambda.scoped_location ->
Lambda.lambda