sig
  type ok_value
  type 'a syscall_result
  type t =
      Syscall_result_intf.S.ok_value Syscall_result_intf.S.syscall_result
  val create_ok : Syscall_result_intf.S.ok_value -> Syscall_result_intf.S.t
  val create_error : Unix_error.t -> Syscall_result_intf.S.t
  val is_ok : Syscall_result_intf.S.t -> bool
  val is_error : Syscall_result_intf.S.t -> bool
  val to_result :
    Syscall_result_intf.S.t ->
    (Syscall_result_intf.S.ok_value, Unix_error.t) Core_kernel.Std.Result.t
  val ok_exn : Syscall_result_intf.S.t -> Syscall_result_intf.S.ok_value
  val error_exn : Syscall_result_intf.S.t -> Unix_error.t
  val reinterpret_error_exn :
    Syscall_result_intf.S.t -> 'Syscall_result_intf.S.syscall_result
  val ok_or_unix_error_exn :
    Syscall_result_intf.S.t ->
    syscall_name:string -> Syscall_result_intf.S.ok_value
  val ok_or_unix_error_with_args_exn :
    Syscall_result_intf.S.t ->
    syscall_name:string ->
    '-> ('-> Core_kernel.Std.Sexp.t) -> Syscall_result_intf.S.ok_value
  val sexp_of_t : Syscall_result_intf.S.t -> Sexplib.Sexp.t
  val compare : Syscall_result_intf.S.t -> Syscall_result_intf.S.t -> int
end