(!/usr/bin/5D -p OPLs/Math.5D ((\Composition (Composition (' withInterface1) filename ((\Error ((\#t ((\#f ((\|| ((\&& ((\not ((\implies? ((\else ((\if ((\elif ((\otherwise ((\equivalent? (: (, (' #t) #t) (: (, (' #f) #f) (: (, (' ||) ||) (: (, (' &&) &&) (: (, (' implies?) implies?) (: (, (' else) else) (: (, (' if) if) (: (, (' elif) elif) (: (, (' not) not) (: (, (' otherwise) otherwise) (: (, (' equivalent?) equivalent?) (: (, (' exports) (: (' exports) (: (' #t) (: (' #f) (: (' ||) (: (' &&) (: (' implies?) (: (' else) (: (' if) (: (' elif) (: (' not) (: (' otherwise) (: (' equivalent?) []))))))))))))) []))))))))))))) (\a \b (|| (&& a b) (&& (not a) (not b)))))) (\f f))) (Builtins (' elif)))) (Builtins (' if)))) (Builtins (' else)))) (\a \b (|| (not a) b)))) (Builtins (' not)))) (Builtins (' &&)))) (Builtins (' ||)))) (Builtins (' #f)))) (Builtins (' #t)))) (requireModule "Error")))) (requireModule "Composition")))