Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Var0 » TFunName » St » Raw » MX

Module `Raw.MX`

module OrderTac : sig ... end

val eq_dec : Eqtype.Equality.sort -> Eqtype.Equality.sort -> bool

val lt_dec : Eqtype.Equality.sort -> Eqtype.Equality.sort -> bool

val eqb : Eqtype.Equality.sort -> Eqtype.Equality.sort -> bool