package dolmen_loop

  1. Overview
  2. Docs
type t

The type for the global state.

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

Emit a warning

val input_file_loc : t -> Dolmen.Std.Loc.file

CUrrent input file location meta-data.

val input_lang : t -> Logic.language option

The current input language.

val typecheck : t -> bool

Whether to type-check expressions.

val strict_typing : t -> bool

Whether to be strict about typing warnings/errors

val ty_state : t -> ty_state

Returns the typing state associated.

val set_ty_state : t -> ty_state -> t

Set the typing state.