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 | 239f07fc8c33f6ebfcf5729b97f9db8b8b55e348 (patch) | |
tree | 5d5633f3622b6111c481069daab8a3106aabb1be /perl_checker.src/common.mli | |
parent | c3d34cd45e183015689139ec167275ed0e8e195a (diff) | |
download | perl-MDK-Common-239f07fc8c33f6ebfcf5729b97f9db8b8b55e348.tar perl-MDK-Common-239f07fc8c33f6ebfcf5729b97f9db8b8b55e348.tar.gz perl-MDK-Common-239f07fc8c33f6ebfcf5729b97f9db8b8b55e348.tar.bz2 perl-MDK-Common-239f07fc8c33f6ebfcf5729b97f9db8b8b55e348.tar.xz perl-MDK-Common-239f07fc8c33f6ebfcf5729b97f9db8b8b55e348.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 |