package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (22)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2026.03.1.tar.bz2
sha256=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52

doc/jasmin.jasmin/Jasmin/Gen_map/Mz/Map/Raw/Proofs/L/index.html

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