3 ms·
You can enforce newtype on strings, or also use a dynamic predicate which checks at runtime. https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predicates
by pyjarrett 4y ago
You can enforce newtype on strings, or also use a dynamic predicate which checks at runtime.
https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predicates https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predi...