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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.jasmin/Jasmin/Values/index.html

Module Jasmin.Values

val undef_t : Type.stype -> Type.stype
type value =
  1. | Vbool of bool
  2. | Vint of BinNums.coq_Z
  3. | Varr of BinNums.positive * Warray_.WArray.array
  4. | Vword of Wsize.wsize * Ssralg.GRing.ComRing.sort
  5. | Vundef of Type.stype
val undef_v : Type.stype -> value
val undef_addr : Type.stype -> value
type values = value list
val is_defined : value -> bool
val type_of_val : value -> Type.stype
val coq_DB : bool -> value -> bool
val to_bool : value -> (Utils0.error, bool) Utils0.result
val to_val : Type.stype -> Sem_type.sem_t -> value
val oto_val : Type.stype -> Sem_type.sem_ot -> value
val truncate_val : Type.stype -> value -> value Utils0.exec
val list_ltuple : Type.stype list -> Sem_type.sem_tuple -> values
val app_sopn : Type.stype list -> 'a1 Utils0.exec Sem_type.sem_prod -> value list -> 'a1 Utils0.exec