+type 'a register_type =
+ < run: 'status.
+ 'a -> refresh_uri_in_universe:(NCic.universe ->
+ NCic.universe) -> refresh_uri_in_term:(NCic.term -> NCic.term) ->
+ (#dumpable_status as 'status) -> 'status >
+
+module Serializer:
+ sig
+ val register: < run: 'a. string -> 'a register_type -> ('a -> obj) >
+ val serialize: baseuri:NUri.uri -> obj list -> unit
+ val require: baseuri:NUri.uri -> (#dumpable_status as 'status) -> 'status
+ end
+