package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Error`Source

Sourceval error : Util.Source.region -> string -> 'a

Sourceval warn : Util.Source.region -> string -> unit

Sourceval check : bool -> Util.Source.region -> string -> unit