CoAxiom
data BranchFlag
type Branched
type Unbranched
type BranchIndex
data Branches br
manyBranches
unbranched
fromBranches
numBranches
mapAccumBranches
data CoAxiom br
data CoAxBranch
toBranchedAxiom
toUnbranchedAxiom
coAxiomName
coAxiomArity
coAxiomBranches
coAxiomTyCon
isImplicitCoAxiom
coAxiomNumPats
coAxiomNthBranch
coAxiomSingleBranch_maybe
coAxiomRole
coAxiomSingleBranch
coAxBranchTyVars
coAxBranchCoVars
coAxBranchRoles
coAxBranchLHS
coAxBranchRHS
coAxBranchSpan
coAxBranchIncomps
placeHolderIncomps
data Role
fsFromRole
data CoAxiomRule
type Eqn
data BuiltInSynFamily
trivialBuiltInFamily