sig
val register :
string ->
'a Type.t ->
?comment:(Format.formatter -> unit) -> ?is_dyn:bool -> 'a -> 'a
val never_write : string -> 'a -> 'a
val prevent : ('a -> 'b) -> 'a -> 'b
module Binding :
sig
val add : 'a Type.t -> 'a -> string -> unit
exception Name_already_exists of string
val add_once : 'a Type.t -> 'a -> string -> unit
end
val get_name : unit -> string
val set_name : string -> unit
val write : unit -> unit
val save : unit -> unit
val restore : unit -> unit
val keep_file : string -> unit
end