CoAxiom

data Branched

data Unbranched

type BranchIndex

data BranchList a br

toBranchList

fromBranchList

toBranchedList

toUnbranchedList

brListLength

brListNth

brListMap

brListFoldr

brListMapM

brListFoldlM_

brListZipWith

data CoAxiom br

data CoAxBranch

toBranchedAxiom

toUnbranchedAxiom

coAxiomName

coAxiomArity

coAxiomBranches

coAxiomTyCon

isImplicitCoAxiom

coAxiomNumPats

coAxiomNthBranch

coAxiomSingleBranch_maybe

coAxiomRole

coAxiomSingleBranch

coAxBranchTyVars

coAxBranchRoles

coAxBranchLHS

coAxBranchRHS

coAxBranchSpan

coAxBranchIncomps

placeHolderIncomps

data Role

fsFromRole

data CoAxiomRule

type Eqn

data BuiltInSynFamily

trivialBuiltInFamily