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/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_type : bool -> Type.stype -> Type.stype -> bool
type sem_t = __
type 'tr sem_prod = 'tr Utils0.lprod
type sem_ot = __
type sem_tuple = Utils0.ltuple
val sem_prod_ok : Type.stype list -> 'a1 sem_prod -> 'a1 Utils0.exec sem_prod
val curry : Type.stype -> Datatypes.nat -> (sem_t list -> 'a1) -> 'a1 sem_prod
val sem_prod_const : Type.stype list -> 'a1 -> 'a1 sem_prod
val sem_prod_id : Type.stype -> sem_t -> sem_ot
val sem_prod_app : Type.stype list -> 'a1 sem_prod -> ('a1 -> 'a2) -> 'a2 sem_prod
val add_tuple : __ list -> 'a1 -> Utils0.ltuple -> Utils0.ltuple
val sem_prod_tuple : Type.stype list -> sem_tuple sem_prod
val add_arguments : Type.stype list -> Type.stype list -> 'a1 sem_prod sem_prod -> 'a1 sem_prod
val app_sopn : (Type.stype -> 'a1 -> sem_t Utils0.exec) -> Type.stype list -> 'a2 Utils0.exec sem_prod -> 'a1 list -> 'a2 Utils0.exec