package archetype

  1. Overview
  2. Docs

Module Env.LabelSource

Sourceval lookup : t -> Ident.ident -> (t * label_kind) option
Sourceval get : t -> Ident.ident -> t * label_kind
Sourceval exists : t -> Ident.ident -> bool
Sourceval push : t -> (A.lident * label_kind) -> t