package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.03.1.tar.bz2
sha256=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52
doc/jasmin.jasmin/Jasmin/Arch_utils/index.html
Module Jasmin.Arch_utils
val of_empty : empty -> 'a1val eqTC_empty : empty Utils0.eqTypeCval finTC_empty : empty Utils0.finTypeCval empty_toS : Type.ltype -> empty Arch_decl.coq_ToStringval ak_reg_reg : Arch_decl.i_args_kindsval coq_CAimm_sz : Wsize.wsize -> Arch_decl.arg_kindval ak_reg_imm :
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
Arch_decl.i_args_kindsval ak_reg_addr : Arch_decl.i_args_kindsval ak_reg_imm8_imm8 : Arch_decl.i_args_kindsval ak_reg_reg_reg : Arch_decl.i_args_kindsval ak_reg_reg_imm8_imm8 : Arch_decl.i_args_kindsval ak_reg_reg_reg_reg : Arch_decl.i_args_kindsval behead_tuple :
Type.ltype list ->
Type.ltype list ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prodval semi_drop2 :
Type.ltype list ->
Type.ltype list ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prodval semi_drop3 :
Type.ltype list ->
Type.ltype list ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prodval semi_drop4 :
Type.ltype list ->
Type.ltype list ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prod ->
Sem_type.sem_tuple Utils0.exec Sem_type.sem_prodval idt_drop2 :
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_tval idt_drop3 :
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_tval idt_drop4 :
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_t ->
('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.instr_desc_tval rtuple_drop5th :
Type.ctype ->
Type.ctype ->
Type.ctype ->
Type.ctype ->
Type.ctype ->
Sem_type.sem_tuple ->
Sem_type.sem_ot * (Sem_type.sem_ot * (Sem_type.sem_ot * Sem_type.sem_ot))