package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val lookup : t -> Ident.ident -> (Ident.ident * (A.ptyp * locvarkind)) option
val get : t -> Ident.ident -> Ident.ident * (A.ptyp * locvarkind)
val exists : t -> Ident.ident -> bool
val push : t -> ?kind:locvarkind -> (A.lident * A.ptyp) -> t
val pushn : t -> ?kind:locvarkind -> (A.lident * A.ptyp) list -> t