• en

Module Simplif

val simplify_lambda : Lambda.lambda -> Lambda.lambda
val is_tail_native_heuristic : int -> bool Pervasives.ref