Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.126 mutable/1

Synopsis

mutable(+Term)

Succeeds if Term is currently instantiated to a mutable term.

Arguments

Term

term

Exceptions

None.

See Also

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


Send feedback on this subject.