Agda.Utils.Warshall
type Matrix a
type AdjList node edge
data Weight
data Node
data Rigid
type NodeId
type RigidId
type FlexId
type Scope
data Constraint
type Constraints
data Graph
type GM
data LegendMatrix a b c
type Solution
data SizeExpr
data Distance