100644 blob 80f6ed8a45d12d6288aea738eefd780584660034	closed.go
100644 blob 144eccef22afdbe8955f4ca1398234b2e9001d02	closed_test.go
100644 blob 973afcc918154f1e9ddfe26fc40e48ba03aee0b1	disjunct.go
100644 blob cb9f9da3405c1dc70d39da69da43cbaf16e2aa6e	equality.go
100644 blob a6444c758d80f55245d726949116d04e8a630b07	eval.go
100644 blob 68eb20ffc4d7814252996455bd7d68704c654c5d	eval_test.go
100644 blob 8d77a57d691a781bacc694fbe9d94e0044e215c3	optionals.go