Module Simplif.Hooks
type t= Lambda.lambda
val add_hook : string -> (Misc.hook_info -> t -> t) -> unitval apply_hooks : Misc.hook_info -> t -> t
Simplif.Hookstype t = Lambda.lambdaval add_hook : string -> (Misc.hook_info -> t -> t) -> unitval apply_hooks : Misc.hook_info -> t -> t