/[svn]/types/types.mli
ViewVC logotype

Diff of /types/types.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 44 by abate, Tue Jul 10 17:00:17 2007 UTC revision 45 by abate, Tue Jul 10 17:00:40 2007 UTC
# Line 122  Line 122 
122         and returns a refined type for this abstraction.         and returns a refined type for this abstraction.
123      *)      *)
124    
125      val check_iface: (descr * descr) list -> descr -> bool
126    
127    type t    type t
128    val is_empty: t -> bool    val is_empty: t -> bool
129    val get: descr -> t    val get: descr -> t
# Line 140  Line 142 
142    
143    
144  module Int : sig  module Int : sig
145      val has_int : descr -> Big_int.big_int -> bool
146    
147    val any : descr    val any : descr
148    
149    val is_int : descr -> bool    val is_int : descr -> bool
# Line 151  Line 155 
155    val has_atom : descr -> atom -> bool    val has_atom : descr -> atom -> bool
156  end  end
157    
158    module Char : sig
159      val has_char : descr -> Chars.Unichar.t -> bool
160    end
161    
162  val normalize : descr -> descr  val normalize : descr -> descr
163    
164  (** Subtyping and sample values **)  (** Subtyping and sample values **)
Legend:
Removed from v.44  
changed lines
  Added in v.45
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5