执行有界 Nat?
Enforce Bounded Nat?
如何强制执行 Nat
即 <= N
?
示例:
def lessThan5(x: NatLT5) = ???
哪里
lessThan5(Nat(4))
会编译,但 lessThan5(Nat(6))
不会。
如何强制执行 Nat
即 <= N
?
示例:
def lessThan5(x: NatLT5) = ???
哪里
lessThan5(Nat(4))
会编译,但 lessThan5(Nat(6))
不会。