Module Types.Sequence

Convenience module to build regular expression types.

include Cduce_types__.Sequence
type error =
| CopyTag of Types.t * Types.t
| CopyAttr of Types.t * Types.t
| UnderTag of Types.t * exn
exception Error of error
val nil_type : Types.t
val nil_node : Types.Node.t
val nil_atom : AtomSet.V.t
val nil_cst : Types.Const.t
val any : Types.t
val seqseq : Types.t
val string : Types.t
val string_latin1 : Types.t
val char_latin1 : Types.t
val any_xtransformable : Types.t
val concat : Types.t -> Types.t -> Types.t
val flatten : Types.t -> Types.t
val map : (Types.t -> Types.t) -> Types.t -> Types.t
val map_tree : Types.t -> (Types.t -> Types.t -> Types.t * Types.t) -> Types.t -> Types.t
val star : Types.t -> Types.t
val plus : Types.t -> Types.t
val option : Types.Node.t -> Types.t
val repet : int -> int option -> Types.t -> Types.t
val approx : Types.t -> Types.t
val ub_concat : Types.t -> Types.t
val star_node : Types.Node.t -> Types.Node.t
val seq_of_list : Types.t list -> Types.t

given a list of descrs create the sequence type from them