package archetype

  1. Overview
  2. Docs

Module Env.TypeSource

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