Module Headers.Field

type t =
| Lang_version
| Problem_version
| Problem_source
| Problem_license
| Problem_category
| 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).