Up – fix » Fix » Glue » MinimalSemiLattice

Module `Glue.MinimalSemiLattice`

Parameters
Signature

Parameters

module P : sig ... end

Signature

type property = P.property

val leq_join : property -> property -> property