11.3.120 mutable/1

Synopsis

mutable(+Term)

Succeeds if Term is currently instantiated to a mutable term.

Arguments

Term
term

See Also

ref-lte-met-typ, ref-lte-mut.


Send feedback on this subject.