package jasmin

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.Arch_utils

type empty = |
val of_empty : empty -> 'a1
val eqTC_empty : empty Utils0.eqTypeC
val finTC_empty : empty Utils0.finTypeC
val ak_reg_reg : Arch_decl.i_args_kinds
val coq_CAimm_sz : Wsize.wsize -> Arch_decl.arg_kind
val ak_reg_imm : ('a1, 'a2, 'a3, 'a4, 'a5) Arch_decl.arch_decl -> Arch_decl.i_args_kinds
val ak_reg_addr : Arch_decl.i_args_kinds
val ak_reg_imm8_imm8 : Arch_decl.i_args_kinds
val ak_reg_reg_reg : Arch_decl.i_args_kinds
val ak_reg_reg_imm8_imm8 : Arch_decl.i_args_kinds
val ak_reg_reg_reg_reg : Arch_decl.i_args_kinds
val 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_t
val 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_t
val 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_t