package dolmen_loop

  1. Overview
  2. Docs

Module Headers.FieldSource

Sourcetype t =
  1. | Lang_version
  2. | Problem_version
  3. | Problem_source
  4. | Problem_license
  5. | Problem_category
  6. | Problem_status

Header fields.

Sourceval hash : t -> int
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int

Usual functions

Sourceval name : Logic.language option -> t -> string

Name of a header field, parameterized by language

Sourceval print : ?lang:Logic.language -> Format.formatter -> t -> unit

Print a header field (with the same string as name).