Shared

Definitions shared between the Datalog and RAM abstract syntax trees.

Enums

Denotation	Represents the denotation of a predicate symbol.
PredSym	Represents a predicate symbol consisting of a name and a unique identifier.

type alias BoxedDenotation = Denotation[Boxed]§ Source

A denotation whose lattice components operate on boxed values.

def box(d: Denotation[t]): Denotation[Boxed] with Order[t]§ Source

Boxes the lattice components inside the given denotation d.

def isRelational(den: Denotation[v]): Bool§ Source

Returns true if the given denotation is relational.

def lattice(): Denotation[v] with LowerBound[v], JoinLattice[v], MeetLattice[v]§ Source

Returns a latticenal denotation associated with the type t.