log modules/option.tp @ 351:04ba2118c5fe

age author description
Fri, 10 Apr 2015 00:47:54 -0700 Michael Pavone Fix value method on option value
Sat, 04 Apr 2015 11:54:46 -0700 Michael Pavone Added "value" method to option value and option none. It behaves similarly to value:none, except the none case just propagates the none value and the value case wraps the result in an option value