Module witness 

Structs

Env

An environment is used to contain the state of a long “running program”.

Program

A running program that the (folding) interpreter has access to.