package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type GraphSig.PSource

module NodeId : ID_TYPE

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

module EdgeId : ID_TYPE

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

module Port : ID_TYPE

Edges connect to nodes through tagged ports.