package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type arg_type = | Unit of unit -> unit| Bool of bool -> unit| String of string -> unit| Int of int -> unit| Float of float -> unit| Option of (string * (unit -> unit)) list| Tuple of arg_type list| Multiple of int -> (int -> string) -> int
type args_exception_type = | ArgsUnknownArgument of string| ArgsCustomFailure of string| ArgsWrongParameter of argument_item * int * string * string| ArgsRequiredParameter of argument_item * int * string| ArgsRequiredArgument of argument_item| ArgsMultipleOccurrence of argument_item
exception ArgsException of args_exception_typeval new_object : string -> string -> bool -> string list -> arguments_objectval new_category : string -> string -> categoryval argument_ident : argument_item -> stringval register_argument :
arguments_object ->
argument_item option ->
bool ->
bool ->
category option ->
string list ->
string ->
(unit -> string) ->
arg_type ->
argument_itemval format_arg_type : arg_type -> stringval format_exception : args_exception_type -> stringval error_function :
arguments_object ->
(string -> unit) ->
args_exception_type ->
unitval help_function :
arguments_object ->
(string -> unit) ->
int ->
(int -> string) ->
unitval register_help_function :
arguments_object ->
string list ->
string ->
(unit -> string) ->
(string -> unit) ->
argument_itemval parse_arguments : arguments_object -> string array -> int -> unitval parse_arguments_with_error :
arguments_object ->
string array ->
int ->
(args_exception_type -> unit) ->
unit