SExtra (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Var0.SExtra)

Parameters

module T : Gen_map.CmpType

module Sv : sig ... end

module SvP : sig ... end

module SvD : sig ... end

val coq_Sv_memP : Sv.elt -> Sv.t -> Bool.reflect

val coq_Sv_elemsP : Sv.elt -> Sv.t -> Bool.reflect

val disjoint : Sv.t -> Sv.t -> bool

val disjointP : Sv.t -> Sv.t -> Bool.reflect

val sv_of_option : Sv.elt option -> Sv.t

val sv_of_list : ('a1 -> Sv.elt) -> 'a1 list -> Sv.t

val sv_of_listP : ('a1 -> Sv.elt) -> Sv.elt -> 'a1 list -> Bool.reflect