Fixpoint3.Ast.Ram.RamProgram
enum RamProgramSourcecase Program(RamStmt, FactTuple, Predicates, IndexInformation, TypeInformation)A RamProgram represents a compiled Datalog program.
enum RamProgramSourcecase Program(RamStmt, FactTuple, Predicates, IndexInformation, TypeInformation)A RamProgram represents a compiled Datalog program.