mutable/1
mutable(+Term)
Succeeds if Term is currently instantiated to a mutable term.
term
None.
ref-lte-met-typ, ref-lte-mut.