package obus

You can search for identifiers within the package.

in-package search v0.2.0

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 {

arg_types : 'a C.sequence;
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