viewcvs.cgi/types/sequence.mli

val nil_type: Types.descr
val nil_atom: Atoms.v
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 map_tree: 
  (Types.descr -> Types.descr * Types.descr) -> Types.descr -> Types.descr
 (* input type -> (result, residual) *)         (* sequence type *)

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

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	val nil_type: Types.descr
2	val nil_atom: Atoms.v
3	val any: Types.descr
4	val seqseq: Types.descr
5	val string: Types.descr
6
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
11	val map_tree:
12	(Types.descr -> Types.descr * Types.descr) -> Types.descr -> Types.descr
13	(* input type -> (result, residual) ) ( sequence type *)
14
15	val star: Types.descr -> Types.descr
16	(* For a type t, returns [t] )
17	val plus: Types.descr -> Types.descr
18
19	val approx: Types.descr -> Types.descr
20	(* For a type t <= [Any*], returns the least type s such that:
21	t <= [s*]
22
23	In general, for an arbitrary type, returns the least type s such that:
24	t <= (X where X = (s, X) \| Any \ (Any,Any))
25	*)