Idris2Doc : Libraries.Data.VarSet

Libraries.Data.VarSet

(source)
Reexports
import public Libraries.Data.VarSet.Core as VarSet
Definitions
singleton : Var vs -> VarSet vs
  Totality: total
  Visibility: export
append : SizeOf inner -> VarSet inner -> VarSet outer -> VarSet (inner ++ outer)
  Totality: total
  Visibility: export
fromVarSet : (vars : Scope) -> VarSet vars -> (newvars : List Name ** Thin newvars vars)
  Totality: total
  Visibility: export