diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2004-10-14 04:58:40 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2004-10-14 04:58:40 +0000 |
commit | b5c54309bae69c9c0c8fd02245a79b2da468464e (patch) | |
tree | a8776ae4fe5d57bc58d1a4c92744f3a1915746c5 /perl_checker.src/common.mli | |
parent | 0bb82649ff6ce4a7c7cde745c51a5e3ea61c5b2f (diff) | |
download | perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.gz perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.bz2 perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.xz perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.zip |
- add char_quote (to help emacs caml mode)
- change prototype of str_begins_with
Diffstat (limited to 'perl_checker.src/common.mli')
-rw-r--r-- | perl_checker.src/common.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/perl_checker.src/common.mli b/perl_checker.src/common.mli index f0cd8f8..17b0ca5 100644 --- a/perl_checker.src/common.mli +++ b/perl_checker.src/common.mli @@ -2,7 +2,7 @@ exception Found exception Not_comparable exception GraphSort_circular_deps type ('a, 'b) either = Left of 'a | Right of 'b -and ('a, 'b) or_option = Or_some of 'a | Or_error of 'b +type ('a, 'b) or_option = Or_some of 'a | Or_error of 'b val internal_error : string -> 'a val id : 'a -> 'a val double : 'a -> 'a * 'a @@ -244,7 +244,7 @@ module OrderedString : sig type t = string val compare : 'a -> 'a -> int end module StringSet : sig type elt = OrderedString.t - and t = Set.Make(OrderedString).t + type t = Set.Make(OrderedString).t val empty : t val is_empty : t -> bool val mem : elt -> t -> bool @@ -268,8 +268,10 @@ module StringSet : val min_elt : t -> elt val max_elt : t -> elt val choose : t -> elt + val split : elt -> t -> t * bool * t end val stringSet_to_list : StringSet.t -> StringSet.elt list val stringSet_add : StringSet.t -> StringSet.elt -> StringSet.t val stringSet_difference : StringSet.t -> StringSet.t -> StringSet.t val list_to_StringSet : StringSet.elt list -> StringSet.t +val char_quote : char |