Operand (p.xedbindings.0.11.doc.xedbindings.xed.Xedbindings

include module type of struct include Bind.Operand end

type -'perm t =
  (Xedbindings_bind.Bind.Types.operand Ctypes.abstract, 'perm)
    Xedbindings_bind.Bind.Ptr.t

val uninit : 
  unit ->
  (Xedbindings_bind.Bind.Types.operand Ctypes.abstract, [ `Read | `Write ])
    Xedbindings_bind.Bind.Ptr.t

val imm : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Unsigned.UInt32.t

val name : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand

val nonterminal_name : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.nonterminal

val op_type : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand_type

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

val rw : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand_action

val visibility : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand_visibility

val width : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand_width

val xtype : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_ptr ->
  Xedbindings_bind.XBEnums.operand_element_xtype

Sourceval read : [> `Read ] Xedbindings_bind.Types_generated.operand_ptr -> bool

Sourceval read_only : [> `Read ] Xedbindings_bind.Types_generated.operand_ptr -> bool

Sourceval written : [> `Read ] Xedbindings_bind.Types_generated.operand_ptr -> bool

val written_only : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  bool

val read_and_written : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  bool

val conditional_read : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  bool

val conditional_write : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  bool

val template_is_register : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  bool

val width_bits : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_ptr ->
  [< `B16 | `B32 | `B64 ] ->
  int