Fee_with_prover.Replace_polymorphic_compareval (>=) : Stable.V1.T.t -> Stable.V1.T.t -> boolval (<=) : Stable.V1.T.t -> Stable.V1.T.t -> boolval (=) : Stable.V1.T.t -> Stable.V1.T.t -> boolval (>) : Stable.V1.T.t -> Stable.V1.T.t -> boolval (<) : Stable.V1.T.t -> Stable.V1.T.t -> boolval (<>) : Stable.V1.T.t -> Stable.V1.T.t -> boolval equal : Stable.V1.T.t -> Stable.V1.T.t -> boolval compare : Stable.V1.T.t -> Stable.V1.T.t -> intval min : Stable.V1.T.t -> Stable.V1.T.t -> Stable.V1.T.tval max : Stable.V1.T.t -> Stable.V1.T.t -> Stable.V1.T.t