Monotone_framework_sigs.TOTALTYPE
The data we need to form e.g. an available xpressions lattice
include TYPE
type vals
val total : vals Core.Set.Poly.t