Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » MSetEqProperties » WEqProperties

Module `MSetEqProperties.WEqProperties`

Parameters

module M : MSetInterface.WSets

module MP : sig ... end

val choose_mem_3 : M.t -> M.elt

val set_rec : 
  (M.t -> M.t -> __ -> 'a1 -> 'a1) ->
  (M.t -> M.elt -> __ -> 'a1 -> 'a1) ->
  'a1 ->
  M.t ->
  'a1

val for_all_mem_4 : (M.elt -> bool) -> M.t -> M.elt

val exists_mem_4 : (M.elt -> bool) -> M.t -> M.elt

val sum : (M.elt -> Datatypes.nat) -> M.t -> Datatypes.nat