Diff of /smlnj-lib/trunk/Util/getopt-sig.sml

Parent Directory | Revision Log | Patch

	revision 688, Tue Jul 18 17:44:36 2000 UTC	revision 1772, Mon Mar 21 19:45:03 2005 UTC
#	Line 48	Line 48
48	| OptArg of (string option -> 'a) * string	| OptArg of (string option -> 'a) * string
49	(* Description of an argument option:	(* Description of an argument option:
50	* NoArg: no argument required	* NoArg: no argument required
51	* ReqArg: option requires an argument	* ReqArg: option requires an argument; the string is the argument name
52	* OptArg: optional argument	* OptArg: optional argument; the string is the argument name
53	*)	*)
54
55	type 'a opt_descr = {	type 'a opt_descr = {
#	Line 65	Line 65
65	options : 'a opt_descr list	options : 'a opt_descr list
66	} -> string	} -> string
67	(* takes a header string and a list of option descriptions and	(* takes a header string and a list of option descriptions and
68	* returns a string explaining the usage information	* returns a string explaining the usage information.  A newline will
69		* be added following the header, so it should not be newline terminated.
70	*)	*)
71
72	val getOpt : {	val getOpt : {

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.688   changed lines   Added in v.1772

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0