flix

0.78.0
Prelude / Fixpoint3 / Ast / Ram / RamProgram

RamProgram

enum RamProgramSource
case Program(RamStmt, FactTuple, Predicates, IndexInformation, TypeInformation)

A RamProgram represents a compiled Datalog program.