Agda.TypeChecking.SizedTypes.WarshallSolver
type Graph r f a
type Edge' r f a
type Key r f
type Nodes r f
type LabelledEdge r f
data Weight
class Negative a
data Label
+ == dioiddata Node rigid flex
type Graphs r f a
type Hyp
type Hyp'
type HypGraph r f
type ConGraph r f
type ConGraphs r f
class SetToInfty f a
type Bound r f
data Bounds r f