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 -> (M.lident * M.ptyp) -> t