package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Make.P`

module NodeId : GraphSig.ID_TYPE

Unique node identifiers, that can serve as keys in maps.

module EdgeId : GraphSig.ID_TYPE

Unique edge identifiers, that can serve as keys in maps.

module Port : GraphSig.ID_TYPE

Edges connect to nodes through tagged ports.