diff options
Diffstat (limited to 'sucl/basic.dcl')
| -rw-r--r-- | sucl/basic.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl index be3260a..c0d1de8 100644 --- a/sucl/basic.dcl +++ b/sucl/basic.dcl @@ -30,6 +30,8 @@ Implementation //:: Optional t = Absent | Present t //Now using Optional from cocl's general module +instance == (Optional a) | == a + // Adjust a function for a single argument adjust :: !arg res (arg->res) !arg -> res | == arg |