/
Debug_Info module

cardinality

procedure · 1 overloadSource
cardinality :: (set: Int_Set) -> u64

Parameters

set: Int_Set

Returns

u64

See also

is_set