Agda.Utils.Warshall
type Matrix a
warshall
type AdjList node edge
warshallG
data Weight
inc

# flexible variables (with identifiers drawn from Int),

# rigid variables (also identified by Ints), or

# constants (like 0, infinity, or anything between)

data Node
data Rigid
type NodeId
type RigidId
type FlexId
type Scope
isBelow
data Constraint
type Constraints
data Graph
type GM
addFlex
addNode
addEdge
addConstraint
buildGraph
mkMatrix
data LegendMatrix a b c
type Solution
data SizeExpr
sizeRigid
solve
genGraph
data Distance
genGraph_
lookupEdge
edges
genPath
mapNodes
tests