Module Simplif

module Simplif: sig .. end

Lambda simplification and lambda plugin hooks

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

val split_default_wrapper : id:Ident.t ->
       kind:Lambda.function_kind ->
       params:Ident.t list ->
       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: Misc.HookSig  with type t = lambda