[ library(ic_gap_sbds) | Reference Manual | Alphabetic Index ]
is_sbds_var(?Var)
Checks whether a variable is an SBDS variable
- Var
- The variable to check
Description
Succeeds iff Var is an SBDS variable (i.e. has been initialised through
a call to sbds_initialise/5).