ValidityPredicates - 0.1.0

Stdlib.Data.String

Description

Definitions

builtin string axiom String : TypeSource#