RamProgram

enum RamProgram[r: Eff]Source

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

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