Module Simplif.Hooks

module Hooks: Misc.HookSig  with type t = lambda

type t 

val add_hook : string -> (Misc.hook_info -> t -> t) -> unit

val apply_hooks : Misc.hook_info -> t -> t

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.