package mirage-qubes

  1. Overview
  2. Docs

Module Formats.QrexecSource

Sourcetype msg_header = {
  1. ty : int32;
  2. len : int32;
}
Sourceval get_msg_header_ty : string -> int32
Sourceval get_msg_header_len : string -> int32
Sourceval sizeof_msg_header : int
Sourcetype peer_info = {
  1. version : int32;
}
Sourceval get_peer_info_version : string -> int32
Sourceval sizeof_peer_info : int
Sourcetype exec_params = {
  1. connect_domain : int32;
  2. connect_port : int32;
}
Sourceval get_exec_params_connect_domain : string -> int32
Sourceval get_exec_params_connect_port : string -> int32
Sourceval sizeof_exec_params : int
Sourcetype exit_status = {
  1. return_code : int32;
}
Sourceval get_exit_status_return_code : string -> int32
Sourceval sizeof_exit_status : int
Sourcetype trigger_service_params = {
  1. service_name : string;
  2. target_domain : string;
  3. request_id : string;
}
Sourceval get_trigger_service_params_service_name : string -> string
Sourceval get_trigger_service_params_target_domain : string -> string
Sourceval get_trigger_service_params_request_id : string -> string
Sourceval sizeof_trigger_service_params : int
Sourcetype trigger_service_params3 = {
  1. target_domain : string;
  2. request_id : string;
}
Sourceval get_trigger_service_params3_target_domain : string -> string
Sourceval get_trigger_service_params3_request_id : string -> string
Sourceval sizeof_trigger_service_params3 : int
Sourcetype msg_type = [
  1. | `Exec_cmdline
  2. | `Just_exec
  3. | `Service_connect
  4. | `Service_refused
  5. | `Trigger_service
  6. | `Connection_terminated
  7. | `Trigger_service3
  8. | `Hello
  9. | `Data_stdin
  10. | `Data_stdout
  11. | `Data_stderr
  12. | `Data_exit_code
]
Sourceval type_of_int : int32 -> [> `Connection_terminated | `Data_exit_code | `Data_stderr | `Data_stdin | `Data_stdout | `Exec_cmdline | `Hello | `Just_exec | `Service_connect | `Service_refused | `Trigger_service | `Trigger_service3 | `Unknown of int32 ]
Sourceval int_of_type : [< `Connection_terminated | `Data_exit_code | `Data_stderr | `Data_stdin | `Data_stdout | `Exec_cmdline | `Hello | `Just_exec | `Service_connect | `Service_refused | `Trigger_service | `Trigger_service3 | `Unknown of int32 ] -> int32
Sourceval string_of_type : [< `Connection_terminated | `Data_exit_code | `Data_stderr | `Data_stdin | `Data_stdout | `Exec_cmdline | `Hello | `Just_exec | `Service_connect | `Service_refused | `Trigger_service | `Trigger_service3 | `Unknown of int32 ] -> string
Sourcetype version = [
  1. | `V2
  2. | `V3
]
Sourceval version_of_int : int32 -> [> `Unknown_version of int32 | `V2 | `V3 ]
Sourceval int_of_version : [< `Unknown_version of int32 | `V2 | `V3 ] -> int32
Sourcemodule Framing : sig ... end