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