Module calculus
[
hide private
]