Index - M
| mapChannel | Circuit.Poly.Channel, Circuit |
| Mark | Circuit.Process |
| markSystem | Circuit.Process, Circuit |
| maxBisimulation | Circuit.Circ |
| mealy | Circuit.Process, Circuit |
| melt | Circuit.Net, Circuit |
| Merge | Circuit.Bimonoid, Circuit |
| mergeE | Circuit.Linear, Circuit |
| MergeT | Circuit.Bimonoid |
| MergeZero | Circuit.Bimonoid, Circuit |
| mirror | |
| 1 (Function) | Circuit.SMC |
| 2 (Function) | Circuit.Net |
| mix | Circuit.Par, Circuit |
| Mono | Circuit.Poly, Circuit |
| monoDir | Circuit.System |
| monoIn | Circuit.System |
| mooreSystem | Circuit.System, Circuit |
| morphAt | Circuit.Poly |
| Morphism | Circuit.Poly, Circuit |
| morphism | Circuit.Body, Circuit |