summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/common.mli
diff options
context:
space:
mode:
authorPascal Rigaux <pixel@mandriva.com>2004-10-14 04:58:40 +0000
committerPascal Rigaux <pixel@mandriva.com>2004-10-14 04:58:40 +0000
commit239f07fc8c33f6ebfcf5729b97f9db8b8b55e348 (patch)
tree5d5633f3622b6111c481069daab8a3106aabb1be /perl_checker.src/common.mli
parentc3d34cd45e183015689139ec167275ed0e8e195a (diff)
downloadperl-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.mli6
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