val equal : t -> t -> boolval compare : t -> t -> intval to_bytes : t -> stringval of_bytes : string -> tval of_hex : string -> (t, int) resultmodule type T = sig ... endval funs : unit -> (module T) listval add_fun : (module T) -> unitval get_fun : string -> ((module T), string) result