/[svn]/cduce/trunk/types/sequence.mli
ViewVC logotype

Diff of /cduce/trunk/types/sequence.mli

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

revision 656 by abate, Tue Jul 10 17:51:50 2007 UTC revision 853 by abate, Tue Jul 10 18:07:22 2007 UTC
# Line 1  Line 1 
1  val nil_type: Types.t  val nil_type: Types.t
2  val nil_node: Types.Node.t  val nil_node: Types.Node.t
3  val nil_atom: Atoms.V.t  val nil_atom: Atoms.V.t
4    val nil_cst:  Types.Const.t
5  val any: Types.t  val any: Types.t
6  val seqseq: Types.t  val seqseq: Types.t
7  val string: Types.t  val string: Types.t

Legend:
Removed from v.656  
changed lines
  Added in v.853

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5