Parameter `Pipe.1-State`

type t: The type of state

type header_state: The type of state used for the header check

val warn : ?⁠loc:Dolmen_std.Loc.full -> t -> ('a, Stdlib.Format.formatter, unit, t) Stdlib.format4 -> 'a: Emit an error.

val error : ?⁠code:Code.t -> ?⁠loc:Dolmen_std.Loc.full -> t -> ('a, Stdlib.Format.formatter, unit, t) Stdlib.format4 -> 'a: Emit an error.

val input_file_loc : t -> Dolmen_std.Loc.file: CUrrent input file location meta-data.

val input_lang : t -> Logic.language option: Return the input language (if any).

val header_state : t -> header_state: Get the header-check state.

val set_header_state : t -> header_state -> t: Set the header-check state.

val check_headers : t -> bool: Whether to check the headers.

val allowed_licenses : t -> string list: Licenses allowed. An empty list means all licenses are allowed.

val allowed_lang_version : t -> string option: Language version number allowed. None means allowing everything.