Module Cduce_types__.Sequence

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

given a list of descrs create the sequence type from them