module Table: functor (X : sig type 'a t end) -> sig .. end
functor (
X
:
sig
type 'a t
'a
end
) ->
sig type 'a t end
type t
val create : int -> t
int -> t
val mem : t -> 'a Typename.typename -> bool
t -> 'a Typename.typename -> bool
val set : t -> 'a Typename.typename -> 'a X.t -> unit
t -> 'a Typename.typename -> 'a X.t -> unit
val find : t -> 'a Typename.typename -> 'a X.t option
t -> 'a Typename.typename -> 'a X.t option