module Ty_tbl: functor (Info : sig type 'a t end) -> sig .. end
functor (
Info
:
sig
type 'a t
'a
end
) ->
Hashtbl.S
sig type 'a t end
type t
val create : int -> t
int -> t
val add : t -> 'b Type.ty -> 'b Info.t -> unit
t -> 'b Type.ty -> 'b Info.t -> unit
val find : t -> 'b Type.ty -> 'b Info.t
t -> 'b Type.ty -> 'b Info.t