Monotone_framework_sigs.INITIALTYPE
The data we need to form a powerset lattice
include TYPE
type vals
val initial : vals Core.Set.Poly.t