module Kind : sig ... end
module Id : sig ... end
type t
= private Id.t list
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
val of_list : Id.t list ‑> t
val none : t
val create : Kind.t ‑> t
val extend : t ‑> Kind.t ‑> t
val union : t ‑> t ‑> t
val are_related : t ‑> t ‑> bool