Fixpoint3.Phase.Lowering

Definitions

def lowerProgram(rc: Region[r], withProv: Bool, program: RamProgram): (RamProgram[r], Boxing[r]) \ r Source

Lower program from Ram to ExecutableRam.

Returns the result along with the Boxing used for the program