ValidityPredicates - 0.1.0

Anoma.Base

Definitions

axiom readPre : String IntSource#

----------------------------------------------------------------------------- -----------------------------------------------------------------------------