package archetype

  1. Overview
  2. Docs

Module Env.TypeSource

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