let { Option, Ordering, Bool } = import! std.types
#[infix(left, 4)]
let (=?) opt y : Option b -> b -> b =
match opt with
| Some x -> x
| None -> y
let mk_ord builder =
#[infix(left, 4)]
let (<) l r = True
{
(<) = builder.(<) =? (<),
}
{ Option, mk_ord }