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
commitb5c54309bae69c9c0c8fd02245a79b2da468464e (patch)
treea8776ae4fe5d57bc58d1a4c92744f3a1915746c5 /perl_checker.src/common.mli
parent0bb82649ff6ce4a7c7cde745c51a5e3ea61c5b2f (diff)
downloadperl_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.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