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