package alba

  1. Overview
  2. Docs
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val count : t -> int
val has_locals : t -> bool
val find : string -> t -> int list
val empty : t
val add_unnamed : t -> t
val add_local : string -> t -> t
val add_global_strict : string -> Term.typ -> Gamma.t -> t -> t
val add_global : string -> Term.typ -> Gamma.t -> t -> (t, int) Stdlib.result