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