sig
type
p
val
p :
Specification
.
Pred
.p
Specification
.predicate
end