package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

xedbindings
- Xedbindings
xedbindings.bind
- Xedbindings_bind
  - Bind
    
    ChipFeatures
    
    Constants
    
    DecodedInst
    
    Enc
    
    EncoderRequest
    
    Enum
    
    FlagAction
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
  - C
    
    Function
  - Function_desc
    
    Functions
    
    F
  - Type_desc
    
    Types
    
    F
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
    
    Ptr
  - Types_generated
    
    Ptr
  - XBEnums
xedbindings.xed
- Xedbindings_xed
  - Xed
    
    ChipFeatures
    
    DecodedInst
    
    Enc
    
    EncoderRequest
    
    Enum
    
    FlagAction
    
    FlagDFV
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Bind.Operand3 end

val get_absbr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_agen : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_amd3dnow : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_asz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_base0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_base1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_bcast : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_bcrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_brdisp_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

val get_cet : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_chip : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.chip

val get_cldemote : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_default_seg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_df32 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_df64 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_disp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Signed.Int64.t

val get_disp_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

val get_dummy : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_easz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_element_size : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_encode_force : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_encoder_preferred : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_eosz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_error : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.error

val get_esrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_evvspace : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_first_f2f3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_has_egpr : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_hint : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_iclass : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.iclass

val get_ild_f2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_ild_f3 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_ild_seg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_imm0 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_imm0signed : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_imm1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_imm1_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_imm_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

val get_index : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_last_f2f3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_llrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_lock : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_lzcnt : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_map : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_mask : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_max_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_mem0 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_mem1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_mem_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt16.t

val get_mod : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_mode : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_mode_first_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_mode_short_ud0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_modep5 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_modep55c : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_modrm_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_mpxmode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_must_use_evex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_nd : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_need_memdisp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_need_sib : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_needrex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_nelem : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_nf : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_no_apx : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_no_evex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_no_vex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_nominal_opcode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_norex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_norex2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_nprefixes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_nrexes : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_nseg_prefixes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_osz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_out_of_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_outreg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_p4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_pos_disp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_pos_imm : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_pos_imm1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_pos_modrm : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_pos_nominal_opcode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_pos_sib : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_prefix66 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_ptr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_realmode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_reg : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_reg0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg2 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg4 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg5 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg6 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg7 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg8 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_reg9 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_relbr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rep : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rex2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexb : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexb4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexr4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexw : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexx : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rexx4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_rm : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_roundc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_sae : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_scale : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_scc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_seg0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_seg1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

val get_seg_ovd : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_sibbase : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_sibindex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_sibscale : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_skip_osz : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_smode : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_srm : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_tzcnt : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_ubit : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_uimm0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt64.t

val get_uimm1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> char

val get_using_default_segment0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_using_default_segment1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vex_c4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_vex_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vexdest210 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vexdest3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vexdest4 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vexvalid : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_vl : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_vl_ign : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

val get_wbnoinvd : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val get_zeroing : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

val set_absbr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_agen : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_amd3dnow : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_asz : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_base0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_base1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_bcast : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_bcrc : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_brdisp_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

val set_cet : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_chip : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.chip ->
  unit

val set_cldemote : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_default_seg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_df32 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_df64 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_disp : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Signed.Int64.t ->
  unit

val set_disp_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

val set_dummy : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_easz : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_element_size : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_encode_force : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_encoder_preferred : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_eosz : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_error : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.error ->
  unit

val set_esrc : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_evvspace : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_first_f2f3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_has_egpr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_hint : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_iclass : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.iclass ->
  unit

val set_ild_f2 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_ild_f3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_ild_seg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_imm0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_imm0signed : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_imm1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_imm1_bytes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_imm_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

val set_index : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_last_f2f3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_llrc : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_lock : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_lzcnt : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_map : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mask : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_max_bytes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mem0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mem1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mem_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt16.t ->
  unit

val set_mod : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mode_first_prefix : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mode_short_ud0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_modep5 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_modep55c : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_modrm_byte : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_mpxmode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_must_use_evex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nd : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_need_memdisp : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_need_sib : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_needrex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nelem : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nf : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_no_apx : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_no_evex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_no_vex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nominal_opcode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_norex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_norex2 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nprefixes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nrexes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_nseg_prefixes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_osz : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_out_of_bytes : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_outreg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_p4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_disp : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_imm : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_imm1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_modrm : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_nominal_opcode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_sib : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_prefix66 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_ptr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_realmode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_reg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_reg0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg2 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg5 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg6 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg7 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg8 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_reg9 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_relbr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rep : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rex2 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexb : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexb4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexr4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexw : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexx : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rexx4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_rm : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_roundc : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_sae : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_scale : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_scc : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_seg0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_seg1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

val set_seg_ovd : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_sibbase : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_sibindex : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_sibscale : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_skip_osz : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_smode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_srm : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_tzcnt : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_ubit : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_uimm0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt64.t ->
  unit

val set_uimm1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

val set_using_default_segment0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_using_default_segment1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vex_c4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vex_prefix : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vexdest210 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vexdest3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vexdest4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vexvalid : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vl : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_vl_ign : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_wbnoinvd : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val set_zeroing : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int ->
  unit

val get_has_modrm : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool

val set_has_modrm : 
  [> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool ->
  unit

val get_has_sib : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool

val set_has_sib : 
  [> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool ->
  unit