ValidityPredicates - 0.1.0

Stdlib.Data.String

Definitions

builtin string axiom String : TypeSource#