package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc

md5=eb4edc4d6b7e15b83d6397bd34994153

Sourcetype t

Sourceval count : t -> int

Sourceval has_locals : t -> bool

Sourceval find : string -> t -> int list

Sourceval empty : t

Sourceval add_unnamed : t -> t

Sourceval add_local : string -> t -> t

Sourceval add_global_strict : string -> Term.typ -> Gamma.t -> t -> t

Sourceval add_global : string -> Term.typ -> Gamma.t -> t -> (t, int) result