Module Jasmin.Unionfind

module type EqType = sig ... end
module NaiveUnionFind (E : EqType) : sig ... end
module LblEqType : sig ... end
module LUF : sig ... end