package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

Sourcetype t =

Sourceval is_sub : t -> t -> bool

is_sub s1 s2 Is s1 a subtype of s2 (or equal)?

Sourceval is_super : t -> t -> bool

is_super s1 s2 Is s1 a supertype of s2 (or equal)?

Sourceval type_of : t -> t

Sourceval pi_sort : t -> t -> t