flix

0.67.2

Fixpoint3.Phase.ProvenanceAugment

Definitions

def augmentProgram(withProv: Bool, program: RamProgram): RamProgram Source

If withProv is False: program is returned unchanged.

If withProv is True: Augment program to maintain proof depth of atoms and rule used to generate them. Further add extend facts to contain a depth and rule.