Module Gist.Fields

Operating on sequences of fields.


type ('p, 'a) t = ('p, 'a) fields

The type for fields for a type of type 'p.

The 'a represents the partial application of a constructor to the fields. Once 'a is equal to 'p we have a product.

val is_empty : ('p, 'a) fields -> bool

is_empty fs is true if fs has no fields.

val is_singleton : ('p, 'a) fields -> bool

is_singleton fs is true if fs has a single field.