package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

The type of state

val warn : 
  ?loc:Dolmen.Std.Loc.full ->
  t ->
  ('a, Format.formatter, unit, t) format4 ->
  'a

Emit an error.

val error : 
  ?code:Code.t ->
  ?loc:Dolmen.Std.Loc.full ->
  t ->
  ('a, Format.formatter, unit, t) 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 -> t

Get the header-check state.

val set_header_state : t -> t -> 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.