mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 11:07:48 +03:00
24 lines
333 B
Plaintext
24 lines
333 B
Plaintext
--Ask inferred
|
|
|
|
structural ability Ask a where
|
|
ask : {Ask a} a
|
|
|
|
structural ability AskU where
|
|
ask : {AskU} Nat
|
|
|
|
use Nat +
|
|
|
|
structural ability AskT where
|
|
ask : {AskT} Text
|
|
|
|
x = '(Ask.ask + 1)
|
|
x2 = '(Ask.ask + AskU.ask)
|
|
|
|
x3 = '(Ask.ask + AskU.ask + size AskT.ask)
|
|
|
|
y : '{Ask Nat} Nat
|
|
y = '(!x)
|
|
|
|
y2 : '{Ask Nat, AskU} Nat
|
|
y2 = x2
|