Monotone_framework_sigs.INITIALTOTALTYPE
The data we need to form a dual powerset lattice
include INITIALTYPE
include TYPE
type vals
val initial : vals Core.Set.Poly.t
include TOTALTYPE with type vals := vals
include TYPE with type vals := vals
val total : vals Core.Set.Poly.t