Fixpoint3.Ast.Shared

Type Aliases

type alias BoxedDenotation = Denotation[Boxed]§ Source

@LoweringTargetDatalog

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.

@LoweringTargetDatalog

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

Returns a latticenal denotation associated with the type t.