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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.03.0.tar.bz2
sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40

doc/jasmin.jasmin/Jasmin/Sem_type/index.html

Module Jasmin.Sem_type

type __ = Obj.t
type coq_WithSubWord = bool
val sw_allowed : coq_WithSubWord -> bool
val nosubword : coq_WithSubWord
val withsubword : coq_WithSubWord
val compat_atype : bool -> Type.atype -> Type.atype -> bool
val compat_ctype : bool -> Type.ctype -> Type.ctype -> bool
type sem_t = __
type 'tr sem_prod = 'tr Utils0.lprod
type sem_ot = __
type sem_tuple = Utils0.ltuple
val sem_prod_ok : Type.ctype list -> 'a1 sem_prod -> 'a1 Utils0.exec sem_prod
val collect : Type.ctype -> Datatypes.nat -> sem_t list -> sem_t list sem_prod
val curry : Type.ctype -> Datatypes.nat -> (sem_t list -> 'a1) -> 'a1 sem_prod
val sem_prod_const : Type.ctype list -> 'a1 -> 'a1 sem_prod
val sem_prod_id : Type.ctype -> sem_t -> sem_ot
val sem_prod_app : Type.ctype list -> 'a1 sem_prod -> ('a1 -> 'a2) -> 'a2 sem_prod
val add_tuple : __ list -> 'a1 -> Utils0.ltuple -> Utils0.ltuple
val sem_prod_tuple : Type.ctype list -> sem_tuple sem_prod
val app_sopn : (Type.ctype -> 'a1 -> sem_t Utils0.exec) -> Type.ctype list -> 'a2 Utils0.exec sem_prod -> 'a1 list -> 'a2 Utils0.exec