Module hvm 

Modules

add_recursive_priority

check_net_size

eta_reduce

Carries out simple eta-reduction, to reduce the amount of rewrites at runtime.

inline

mutual_recursion

prune

Functions

hvm_book_show_pretty

net_trees

net_trees_mut

tree_children

tree_children_mut