package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Micromega_plugin.Itv`Source

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

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

Sourceval inter : interval -> interval -> interval option

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

Sourceval smaller_itv : interval -> interval -> bool

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

Sourceval norm_itv : interval -> interval option