Libraries.Data.VarSet.Core

Definitions

VarSet : Scoped

Totality: total
Visibility: export

empty : VarSet vs

Totality: total
Visibility: export

elem : Var vs -> VarSet vs -> Bool

Totality: total
Visibility: export

isEmpty : VarSet vs -> Bool

Totality: total
Visibility: export

size : VarSet vs -> Nat

Totality: total
Visibility: export

insert : Var vs -> VarSet vs -> VarSet vs

Totality: total
Visibility: export

delete : Var vs -> VarSet vs -> VarSet vs

Totality: total
Visibility: export

full : SizeOf vs -> VarSet vs

Totality: total
Visibility: export

intersection : VarSet vs -> VarSet vs -> VarSet vs

Totality: total
Visibility: export

union : VarSet vs -> VarSet vs -> VarSet vs

Totality: total
Visibility: export

unsafeToList : VarSet vs -> List (Var vs)

Totality: total
Visibility: export

toList : VarSet vs -> List (Var vs)

Totality: total
Visibility: export

dropFirst : VarSet (v :: vs) -> VarSet vs

Totality: total
Visibility: export

dropInner : SizeOf inner -> VarSet (inner ++ vs) -> VarSet vs

Totality: total
Visibility: export

varSetFreelyEmbeddable : FreelyEmbeddable VarSet

Totality: total
Visibility: export

varSetWeaken : Weaken VarSet

Totality: total
Visibility: export