module Reverse_binding:sig
..end
exception Unbound_value of string
exception Incompatible_type of string
val fill : unit -> unit
val find : string -> 'a Type.t -> 'a
val iter : (string -> 'a Type.t -> 'a -> unit) -> unit
val pretty : Stdlib.Format.formatter -> unit -> unit