test

nyaya PTest

testProp

PropTestOps

toStream

Domain

triple

Domain