Mt (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Var0.TFunName.Mt)

module K : Gen_map.CmpType

type 'x t

val empty : 'a1 t

val is_empty : 'a1 t -> bool

val get : 'a1 t -> Eqtype.Equality.sort -> 'a1 option

val set : 'a1 t -> Eqtype.Equality.sort -> 'a1 -> 'a1 t

val remove : 'a1 t -> Eqtype.Equality.sort -> 'a1 t

val map : ('a1 -> 'a2) -> 'a1 t -> 'a2 t

val mapi : (Eqtype.Equality.sort -> 'a1 -> 'a2) -> 'a1 t -> 'a2 t

val map2 : 
  (Eqtype.Equality.sort -> 'a1 option -> 'a2 option -> 'a3 option) ->
  'a1 t ->
  'a2 t ->
  'a3 t

val filter_map : (Eqtype.Equality.sort -> 'a1 -> 'a2 option) -> 'a1 t -> 'a2 t

val incl_def : 
  (Eqtype.Equality.sort -> 'a1 -> bool) ->
  (Eqtype.Equality.sort -> 'a1 -> 'a2 -> bool) ->
  'a1 t ->
  'a2 t ->
  bool

val incl : 
  (Eqtype.Equality.sort -> 'a1 -> 'a2 -> bool) ->
  'a1 t ->
  'a2 t ->
  bool

val all : (Eqtype.Equality.sort -> 'a1 -> bool) -> 'a1 t -> bool

val has : (Eqtype.Equality.sort -> 'a1 -> bool) -> 'a1 t -> bool

val elements : 'a1 t -> (Eqtype.Equality.sort * 'a1) list

val fold : (Eqtype.Equality.sort -> 'a1 -> 'a2 -> 'a2) -> 'a1 t -> 'a2 -> 'a2

val in_codom : 
  Eqtype.Equality.coq_type ->
  Eqtype.Equality.sort ->
  Eqtype.Equality.sort t ->
  bool

val is_emptyP : 'a1 t -> Bool.reflect

val elementsP : 
  Eqtype.Equality.coq_type ->
  (Eqtype.Equality.sort * Eqtype.Equality.sort) ->
  Eqtype.Equality.sort t ->
  Bool.reflect