m0.pl -- m0 implementation

This module defines the structures and predicates declared in the m0-meta-model.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

.(Arg1, Arg2)