Up
module
Simplif
:
sig
#
val
simplify_lambda :
Lambda
.
lambda
->
Lambda
.
lambda
#
val
is_tail_native_heuristic : (int
->
bool)
Pervasives
.
ref
end