View Source Precuter.Function (precuter v0.1.0)

Summary

Functions

Link to this function

generate_reimplemented_func(name, args, guards, body)

View Source
Link to this function

generate_replacement_func(name, args, pre, cond, post)

View Source
Link to this function

get_body(env, name, args)

View Source