sig
  type t = Typedtree.signature
  val add_hook : string -> (Misc.hook_info -> t -> t) -> unit
  val apply_hooks : Misc.hook_info -> t -> t
end