package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Module `Proofs.L`

module MX : sig ... end

module PX : sig ... end

type key = Eqtype.Equality.sort

type 'elt t = (Eqtype.Equality.sort * 'elt) list

val empty : 'a1 t

val is_empty : 'a1 t -> bool

val mem : key -> 'a1 t -> bool

val find : key -> 'a1 t -> 'a1 option

val add : key -> 'a1 -> 'a1 t -> 'a1 t

val remove : key -> 'a1 t -> 'a1 t

val elements : 'a1 t -> 'a1 t

val fold : (key -> 'a1 -> 'a2 -> 'a2) -> 'a1 t -> 'a2 -> 'a2

val equal : ('a1 -> 'a1 -> bool) -> 'a1 t -> 'a1 t -> bool

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

val mapi : (key -> 'a1 -> 'a2) -> 'a1 t -> 'a2 t

val option_cons : key -> 'a1 option -> (key * 'a1) list -> (key * 'a1) list

val map2_l : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 t -> 'a3 t

val map2_r : ('a1 option -> 'a2 option -> 'a3 option) -> 'a2 t -> 'a3 t

val map2 : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 t -> 'a2 t -> 'a3 t

val combine : 'a1 t -> 'a2 t -> ('a1 option * 'a2 option) t

val fold_right_pair : 
  ('a1 -> 'a2 -> 'a3 -> 'a3) ->
  ('a1 * 'a2) list ->
  'a3 ->
  'a3

val map2_alt : 
  ('a1 option -> 'a2 option -> 'a3 option) ->
  'a1 t ->
  'a2 t ->
  (key * 'a3) list

val at_least_one : 'a1 option -> 'a2 option -> ('a1 option * 'a2 option) option

val at_least_one_then_f : 
  ('a1 option -> 'a2 option -> 'a3 option) ->
  'a1 option ->
  'a2 option ->
  'a3 option