precuter
v0.1.0
Pages
Modules
Search documentation of precuter
Settings
View Source
Precuter.Function
(precuter v0.1.0)
Summary
Functions
generate_reimplemented_func(name, args, guards, body)
generate_replacement_func(name, args, pre, cond, post)
get_body(env, name, args)
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