sig
type key
type 'a info
type t
val create : int -> Type.Heterogeneous_table.t
val add :
Type.Heterogeneous_table.t ->
Type.Heterogeneous_table.key ->
'a Type.ty -> 'a Type.Heterogeneous_table.info -> unit
exception Unbound_value of string
exception Incompatible_type of string
val find :
Type.Heterogeneous_table.t ->
Type.Heterogeneous_table.key ->
'a Type.ty -> 'a Type.Heterogeneous_table.info
val iter :
(Type.Heterogeneous_table.key ->
'a Type.ty -> 'a Type.Heterogeneous_table.info -> unit) ->
Type.Heterogeneous_table.t -> unit
val fold :
(Type.Heterogeneous_table.key ->
'a Type.ty -> 'a Type.Heterogeneous_table.info -> 'b -> 'b) ->
Type.Heterogeneous_table.t -> 'b -> 'b
end