-
Notifications
You must be signed in to change notification settings - Fork 2
/
arg_3_7.mli
21 lines (18 loc) · 1.16 KB
/
arg_3_7.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(***********************************************************************)
(* Cash *)
(* *)
(* Bruno Verlyck, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the GNU Lesser General Public License. *)
(* *)
(* Cash is based on Scsh, by Olin Shivers. *)
(***********************************************************************)
value default_value : option 'a -> 'a -> 'a;
value command_line_arguments : ref (option (list string));
value command_line : unit -> list string;
value make_command_line_arguments : unit -> list string;
value arg : ?default: 'a -> list 'a -> int -> 'a;
value arg_star : ?default_thunk: (unit -> 'a) -> list 'a -> int -> 'a;
value argv : ?default: string -> int -> string;