package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

Dune Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

doc/alba.albalib/Albalib/Term_printer/String_print/argument-1-G/index.html

Parameter `String_print.G`

type t

val is_valid_index : int -> t -> bool

val name_of_index : int -> t -> string

val push_local : string -> Term.typ -> t -> t