package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This modules defines the smallest signatures for a solver state that allow to instantiate the Typer.Pipe functor.

common interface

include Common

type t

The type of state

exception Error of t

Convenient exception.

val warn : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Warning.t -> 'a -> t

Emit a warning

val error : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Error.t -> 'a -> t

Emit an error.

val input_lang : t -> Logic.language option

Return the input language (if any).