Module Headers.Field

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

Header fields.

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

Usual functions

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

Name of a header field, parameterized by language

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

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