trunk/types/sequence.mli

val nil_type: Types.descr
val nil_atom: Types.atom
val any: Types.descr
val seqseq: Types.descr
val string: Types.descr

val concat: Types.descr -> Types.descr -> Types.descr
val flatten: Types.descr -> Types.descr
val map: (Types.descr -> Types.descr) -> Types.descr -> Types.descr


val star: Types.descr -> Types.descr
  (* For a type t, returns [t*] *)

val approx: Types.descr -> Types.descr
  (*  For a type t <= [Any*], returns the least type s such that:
      t <= [s*]
      
      In general, for an arbitrary type, returns the least type s such that:
      t <= (X where X = (s, X) |  Any \ (Any,Any))
  *)
1	abate	18	val nil_type: Types.descr
2			val nil_atom: Types.atom
3	abate	17	val any: Types.descr
4			val seqseq: Types.descr
5	abate	58	val string: Types.descr
6	abate	17
7			val concat: Types.descr -> Types.descr -> Types.descr
8			val flatten: Types.descr -> Types.descr
9			val map: (Types.descr -> Types.descr) -> Types.descr -> Types.descr
10	abate	31
11
12			val star: Types.descr -> Types.descr
13			(* For a type t, returns [t] )
14
15			val approx: Types.descr -> Types.descr
16			(* For a type t <= [Any*], returns the least type s such that:
17			t <= [s*]
18
19			In general, for an arbitrary type, returns the least type s such that:
20			t <= (X where X = (s, X) \| Any \ (Any,Any))
21			*)