changeset 12338 | de0f4a63baa5 |
parent 11703 | 6e5de8d4290a |
child 17309 | c43ed29bd197 |
12337:7c6a970f0808 | 12338:de0f4a63baa5 |
---|---|
19 *) |
19 *) |
20 ('a,'r) chan |
20 ('a,'r) chan |
21 ('a,'r) channel = (PrIds => ('a,'r) chan) stfun |
21 ('a,'r) channel = (PrIds => ('a,'r) chan) stfun |
22 |
22 |
23 arities |
23 arities |
24 chan :: (term,term) term |
24 chan :: (type,type) type |
25 |
25 |
26 consts |
26 consts |
27 (* data-level functions *) |
27 (* data-level functions *) |
28 cbit,rbit :: "('a,'r) chan => bit" |
28 cbit,rbit :: "('a,'r) chan => bit" |
29 arg :: "('a,'r) chan => 'a" |
29 arg :: "('a,'r) chan => 'a" |