Fixpoint3.Ast.Shared.Denotation
enum Denotation[v: Type]Sourcecase Relationalcase Latticenal(v, v -> (v -> Bool), v -> (v -> v), v -> (v -> v))Represents the denotation of a predicate symbol.
A predicate symbol either has relational or lattice semantics.
If it has lattice semantics it is equipped with:
- A bottom element.
- A partial order (a leq function).
- a least upper bound (a lub function).
- a greatest lower bound (a glb function).