package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.03.0.tar.bz2
sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40
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))