Next: , Previous: mpg-ref-multifile, Up: mpg-bpr


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.