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 (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Constraints/Hvl/index.html

Module Constraints.HvlSource

Sourcetype key = Vl.t
Sourcetype !'a t
Sourceval create : int -> 'a t
Sourceval clear : 'a t -> unit
Sourceval reset : 'a t -> unit
  • since 4.00
Sourceval copy : 'a t -> 'a t
Sourceval add : 'a t -> key -> 'a -> unit
Sourceval remove : 'a t -> key -> unit
Sourceval find : 'a t -> key -> 'a
Sourceval find_opt : 'a t -> key -> 'a option
  • since 4.05
Sourceval find_all : 'a t -> key -> 'a list
Sourceval replace : 'a t -> key -> 'a -> unit
Sourceval mem : 'a t -> key -> bool
Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit
Sourceval filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit
  • since 4.03
Sourceval fold : (key -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'acc
Sourceval length : 'a t -> int
Sourceval stats : 'a t -> Hashtbl.statistics
  • since 4.00
Sourceval to_seq : 'a t -> (key * 'a) Seq.t
  • since 4.07
Sourceval to_seq_keys : _ t -> key Seq.t
  • since 4.07
Sourceval to_seq_values : 'a t -> 'a Seq.t
  • since 4.07
Sourceval add_seq : 'a t -> (key * 'a) Seq.t -> unit
  • since 4.07
Sourceval replace_seq : 'a t -> (key * 'a) Seq.t -> unit
  • since 4.07
Sourceval of_seq : (key * 'a) Seq.t -> 'a t
  • since 4.07