owi
Owi.Func_id
type t
type 'a collection
val empty : 'a collection
val add : 'a -> Types.simplified Types.func_type -> 'a collection -> t * 'a collection
val get : t -> 'a collection -> 'a
val get_typ : t -> 'a collection -> Types.simplified Types.func_type