jacket
Search the docs
/
API
Tools
Playground
0.31.0
Debug_Info module
← Debug_Info
Debug int set
cardinality
is_set
On this page
See also
std
/
Debug_Info
/
is_set
is_set
procedure · 1 overload
Source
is_set
:: (set:
Int_Set
, i:
int
) ->
bool
Parameters
set
:
Int_Set
i
:
int
Returns
bool
See also
cardinality