Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » MSetFacts » WFactsOn

Module `MSetFacts.WFactsOn`

Parameters

module E : Equalities.DecidableType

module M : sig ... end

Signature

val eqb : E.t -> E.t -> bool