Fixpoint3.Ast.ExecutableRam.RamProgram

enum RamProgram[r: Eff]Source

case Program(RamStmt, Facts[r], Predicates, IndexInformation, (Arities, ConstWrites), RamIdToPos)

A RamProgram represents a further compiled Datalog program ready to be run by the interpreter.