package archetype

  1. Overview
  2. Docs
val lookup : t -> Ident.ident -> preddecl option
val get : t -> Ident.ident -> preddecl
val exists : t -> Ident.ident -> bool
val push : t -> preddecl -> t