interval.ml
jasmin.jasmin
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
1 2 3 4 5 6 7 type interval = { min : int; max : int } type t = interval let size i = i.max - i.min let pp_interval ?(closed=false) fmt { min ; max } = Format.fprintf fmt "[%d; %d%s" min max (if closed then "]" else "[")
1 2 3 4 5 6 7
type interval = { min : int; max : int } type t = interval let size i = i.max - i.min let pp_interval ?(closed=false) fmt { min ; max } = Format.fprintf fmt "[%d; %d%s" min max (if closed then "]" else "[")