Module Extensions.Lists

The type of heterogenous lists.

Lists are encoded à la Lisp with as either a constant (the empty list nil) or a pair of a value (the head) and a list (the tail).

Lists are printed using a regular expression types whenever possible.

val tag : Tag.t

The tag used for list type.

val cons : Ty.t -> Ty.t -> Ty.t

cons hd tl returns the type of lists formed by the head hd and the tail tl. The function does not check whether tl is a list.

val nil : Ty.t

The empty list.

val any : Ty.t

The type of all lists.

val any_non_empty : Ty.t

The type of all non-empty lists.

val destruct : Ty.t -> (Ty.t * Ty.t) list

destruct t returns a list [ (hd1, tl1); …; (hdn, tln) ] such that t is equivalent to

    \bigcup_{i=1\ldots n}\texttt{cons} ~~\texttt{hd}_i ~~\texttt{tl}_i
val destruct' : Ty.t -> Ty.t * Ty.t

destruct' t returns the approximation such that t is equovalent to

    \bigcup_{i=1\ldots n} \texttt{hd}_i ~~~\times~~~ 
    \bigcup_{i=1\ldots n} \texttt{tl}_i

where destruct t = [ (hd1, tl1); …; (hdn, tln) ]

val basic_printer_params : Printer.params
type 'a regexp =
  1. | Epsilon
  2. | Symbol of 'a
  3. | Concat of 'a regexp list
  4. | Union of 'a regexp list
  5. | Star of 'a regexp
  6. | Plus of 'a regexp
  7. | Option of 'a regexp
type basic =
  1. | Nil
  2. | Cons of Printer.descr * Printer.descr
type t =
  1. | Regexp of Printer.descr regexp
  2. | Basic of basic list
type printer = int -> Prec.assoc -> Stdlib.Format.formatter -> t -> unit
val print : printer
val printer_params : printer -> Printer.params
val printer_params' : Printer.params
val build : Ty.t regexp -> Ty.t