3 ms·
In ATS2 you can do like this : fun foo {n : int | n > 2} (x : int (n)) : void = println! (x) now calling foo (10) will type check but foo (2) or foo (1) will
by chotu 13y ago
In ATS2 you can do like this :
fun foo {n : int | n > 2} (x : int (n)) : void = println! (x)
now calling foo (10) will type check but foo (2) or foo (1) will not.