package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Builtin.Extract`Source

Sourceval zero : Util.Source.region -> 'a list -> unit

Sourceval one : Util.Source.region -> 'a list -> 'a

Sourceval two : Util.Source.region -> 'a list -> 'a * 'a

Sourceval three : Util.Source.region -> 'a list -> 'a * 'a * 'a

Sourceval four : Util.Source.region -> 'a list -> 'a * 'a * 'a * 'a