package obus

  1. Overview
  2. Docs
package obus
Legend:
Library
Module
Module type
Parameter
Class
Class type
module T : sig ... end
type signature = T.sequence
exception Invalid_signature of string * string
val string_of_signature : signature -> string
val signature_of_string : string -> signature
val validate_signature : signature -> string option
module V : sig ... end
module C : sig ... end
type 'a arguments = private {
  1. arg_types : 'a C.sequence;
  2. arg_names : string option list;
}
val arguments : arg_types:'a C.sequence -> arg_names:string option list -> 'a arguments
val arg_types : 'a arguments -> 'a C.sequence
val arg_names : 'a arguments -> string option list
val arg_cons : (string option * 'a C.single) -> 'b arguments -> ('a * 'b) arguments
val arg0 : unit arguments
val arg1 : (string option * 'a1 C.single) -> 'a1 arguments
val arg2 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> ('a1 * 'a2) arguments
val arg3 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> ('a1 * 'a2 * 'a3) arguments
val arg4 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> ('a1 * 'a2 * 'a3 * 'a4) arguments
val arg5 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5) arguments
val arg6 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6) arguments
val arg7 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7) arguments
val arg8 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8) arguments
val arg9 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9) arguments
val arg10 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10) arguments
val arg11 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11) arguments
val arg12 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> (string option * 'a12 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11 * 'a12) arguments
val arg13 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> (string option * 'a12 C.single) -> (string option * 'a13 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11 * 'a12 * 'a13) arguments
val arg14 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> (string option * 'a12 C.single) -> (string option * 'a13 C.single) -> (string option * 'a14 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11 * 'a12 * 'a13 * 'a14) arguments
val arg15 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> (string option * 'a12 C.single) -> (string option * 'a13 C.single) -> (string option * 'a14 C.single) -> (string option * 'a15 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11 * 'a12 * 'a13 * 'a14 * 'a15) arguments
val arg16 : (string option * 'a1 C.single) -> (string option * 'a2 C.single) -> (string option * 'a3 C.single) -> (string option * 'a4 C.single) -> (string option * 'a5 C.single) -> (string option * 'a6 C.single) -> (string option * 'a7 C.single) -> (string option * 'a8 C.single) -> (string option * 'a9 C.single) -> (string option * 'a10 C.single) -> (string option * 'a11 C.single) -> (string option * 'a12 C.single) -> (string option * 'a13 C.single) -> (string option * 'a14 C.single) -> (string option * 'a15 C.single) -> (string option * 'a16 C.single) -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5 * 'a6 * 'a7 * 'a8 * 'a9 * 'a10 * 'a11 * 'a12 * 'a13 * 'a14 * 'a15 * 'a16) arguments