gonix
/
tests
/
functional2
/
lang
/
eq
/
eval-okay-derivations.out.exp
1
[ true true true false ]