NAME¶

Simplif - Lambda simplification and lambda plugin hooks

Module¶

Module Simplif

Documentation¶

Module Simplif
: sig end

Lambda simplification and lambda plugin hooks

Warning: this module is unstable and part of Compiler_libs .

val simplify_lambda : string -> Lambda.lambda -> Lambda.lambda

val split_default_wrapper : id:Ident.t -> kind:Lambda.function_kind -> params:(Ident.t * Lambda.value_kind) list -> return:Lambda.value_kind -> body:Lambda.lambda -> attr:Lambda.function_attribute -> loc:Location.t -> (Ident.t * Lambda.lambda) list

val is_tail_native_heuristic : (int -> bool) ref

module Hooks : sig end