Esempio n. 1
0
 public function testMzero()
 {
     $this->assertEquals(nil(), mzero());
 }
Esempio n. 2
0
/**
 * Returns a state with an empty substitution and variable index at 0.
 */
function emptyState()
{
    return cons(mzero(), 0);
}