package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proofs.L

module MX : sig ... end
module PX : sig ... end
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