Elxlog v0.1.5 Elxcomp View Source

generated compiled code

Link to this section Summary

Functions

is_compiled(list)

prove_builtin(_, _, _, _, _)

Link to this section Functions

Link to this function

is_compiled(list)

View Source

Link to this function

prove_builtin(_, _, _, _, _)

View Source