sig   val register : string -> 'a -> unit   val register_exception : string -> exn -> unit end