Module arrabbiata::witness

source ·

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.