Sourceval pair : ('a -> t) -> ('b -> t) -> ('a * 'b) -> t Sourceval list : ('a -> t) -> 'a list -> t Sourceval option : ('a -> t) -> 'a option -> t Sourceval record : (string * t) list -> t Sourceval cstr_record : string -> (string * t) list -> t Sourceval cstr_list : string -> ('a -> t) -> 'a list -> t Sourceval register_exn_converter : extension_constructor -> (exn -> t) -> unit