Module Block.List'Source

Lists.

Sourcetype type' = [
  1. | `Unordered of Layout.char
    (*

    with given marker.

    *)
  2. | `Ordered of int * Layout.char
    (*

    starting at given integer, markers ending with given character (')' or '.').

    *)
]

The type for list types.

Sourcetype t

The type for lists.

Sourceval make : ?tight:bool -> type' -> List_item.t node list -> t

make ?tight t items is a list with given parameters. tight default to true, but should be computed from items in practice.

Sourceval type' : t -> type'

type' l is the list type of l.

Sourceval tight : t -> bool

tight l is true iff the list is tight.

Sourceval items : t -> List_item.t node list

items l are the items of l.