let compare io1 io2 = match io1, io2 with Some i1, Some i2 -> Datatype.Int.compare i1 i2 | Some _i1, None -> 1 | None, Some _i2 -> -1 | None, None -> 0