Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Order » Order

Module `Order.Order`

module Coq_isPOrder : sig ... end

module POrder : sig ... end

val le : unit -> POrder.coq_type -> POrder.sort Ssrbool.rel

val lt : unit -> POrder.coq_type -> POrder.sort Ssrbool.rel

module LtLe_isPOrder : sig ... end

module Builders_6 : sig ... end