Fixpoint3.Ast.Shared

Type Aliases

type alias BoxedDenotation = Denotation[Boxed] Source

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.