kappa-library.generic
SetMap.Make
kappa-library.mixtures
kappa-library.runtime
kappa-library.terms
kappa-library.utils
module Ord : OrderedType
type elt = Ord.t
module Set : Set with type elt = elt
module Map : Map with type elt = elt and type set = Set.t