Module Bounded.V
module Ordering_Functions : sig ... endval (<|=) : Bastet.Float.Bounded.t -> Bastet.Float.Bounded.t -> boolval bounded : Bastet.Float.Bounded.t -> bool
Bounded.Vmodule Ordering_Functions : sig ... endval (<|=) : Bastet.Float.Bounded.t -> Bastet.Float.Bounded.t -> boolval bounded : Bastet.Float.Bounded.t -> bool