src/library/Category/TypedGraphRule/FindMorphism.hs from Verites/verigraph

src/library/Category/TypedGraphRule/FindMorphism.hs

      (fL, fR) = (mappingLeft f, mappingRight f)

Found

(fL, fR) = (mappingLeft f, mappingRight f)
(gL, gR) = (mappingLeft g, mappingRight g)
cls = toFstOrderMorphismClass cls'

Perhaps

Combine with src/library/Category/TypedGraphRule/FindMorphism.hs:44:7

Verites/verigraph