Xed.InstSourceinclude module type of struct include Bind.Inst endtype -'perm t =
(Xedbindings_bind.Bind.Types.inst Ctypes.abstract, 'perm)
Xedbindings_bind.Bind.Ptr.tval uninit :
unit ->
(Xedbindings_bind.Bind.Types.inst Ctypes.abstract, [ `Read | `Write ])
Xedbindings_bind.Bind.Ptr.tval category :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.categoryval extension :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.extensionval iclass :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.iclassval iexception :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.iexceptionval iform_enum :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.iformval isa_set :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
Xedbindings_bind.XBEnums.isa_setval operand :
[> `Read ] Xedbindings_bind.Bind.Types.inst_ptr ->
int ->
[ `Read ] Xedbindings_bind.Bind.Types.operand_ptrval get_attribute :
[> `Read ] Xedbindings_bind.Types_generated.inst_ptr ->
Xedbindings_bind.XBEnums.attribute ->
boolval fold_left_operands :
[> `Read ] Xedbindings_bind.Types_generated.inst_ptr ->
init:'a ->
f:(int -> 'a -> [ `Read ] Xedbindings_bind.Types_generated.operand_ptr -> 'a) ->
'aval fold_right_operands :
[> `Read ] Xedbindings_bind.Types_generated.inst_ptr ->
f:(int -> [ `Read ] Xedbindings_bind.Types_generated.operand_ptr -> 'a -> 'a) ->
init:'a ->
'a