add doomed_str, on probation

[some-myr-traits.git] / traits.myr

use std

pkg t =
        trait comparable @t =
                cmp : (a : @t, b : @t -> std.order)
        ;;

        trait dupable @t =
                dup : (a : @t -> @t)
        ;;
;;