Itv (rocq-runtime.Micromega

type interval = Micromega_core_plugin.NumCompat.Q.t option * Micromega_core_plugin.NumCompat.Q.t option

val pp : Stdlib.out_channel -> interval -> unit

val inter : interval -> interval -> interval option

val range : interval -> Micromega_core_plugin.NumCompat.Q.t option

val smaller_itv : interval -> interval -> bool

val in_bound : interval -> Micromega_core_plugin.NumCompat.Q.t -> bool

val norm_itv : interval -> interval option