curry.backends.py.compiler module

curry.backends.py.compiler.compile(interp, iobj)

curry.backends.py.compiler.write_module(target_object, stream, goal=None, section_headers=True, module_main=True, goalscheme=None)

Writes a compiled module as Python. With module_main, the file ends in a footer that evaluates goal when the file runs as a program; goalscheme is the FlatCurry type of the goal as text, recorded so that a goal with class constraints runs without its interface file.