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

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
data Constraint
data Graph
type GM
data LegendMatrix a b c
type Solution
data SizeExpr
data Distance