cadenza
/
cadenza.semantics
/
Type
/
Nat
Nat
object
Nat
:
Type
Functions
validate
fun
validate
(
t
:
Any
?
)
:
Unit