equal
deleted
inserted
replaced
487 code_reserved Scala Heap |
487 code_reserved Scala Heap |
488 |
488 |
489 code_type Heap (Scala "Unit/ =>/ _") |
489 code_type Heap (Scala "Unit/ =>/ _") |
490 code_const bind (Scala "!Heap.bind((_), (_))") |
490 code_const bind (Scala "!Heap.bind((_), (_))") |
491 code_const return (Scala "('_: Unit)/ =>/ _") |
491 code_const return (Scala "('_: Unit)/ =>/ _") |
492 code_const Heap_Monad.raise' (Scala "!error(_)") |
492 code_const Heap_Monad.raise' (Scala "!error((_))") |
493 |
493 |
494 |
494 |
495 subsubsection {* Target variants with less units *} |
495 subsubsection {* Target variants with less units *} |
496 |
496 |
497 setup {* |
497 setup {* |