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

Diff of /types/atoms.mli

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

revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC revision 110 by abate, Tue Jul 10 17:07:14 2007 UTC
# Line 10  Line 10 
10    
11  val contains : 'a -> 'a t -> bool  val contains : 'a -> 'a t -> bool
12  val is_empty : 'a t -> bool  val is_empty : 'a t -> bool
13    val is_atom : 'a t -> 'a option
14  val sample : ('a list -> 'a) -> 'a t -> 'a  val sample : ('a list -> 'a) -> 'a t -> 'a
15    
16  val print : string -> (Format.formatter -> 'a -> unit) -> 'a t ->  val print : string -> (Format.formatter -> 'a -> unit) -> 'a t ->
Legend:
Removed from v.18  
changed lines
  Added in v.110
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5