Agda.Auto.NarrowingSearch
type Prio
class Trav a blk
data Term blk
data Prop blk
runProp
data Metavar a blk
hequalMetavar
newMeta
data CTree blk
data SubConstraints blk
newCTree
newSubConstraints
data PrioMeta blk
data Restore
type Undo
ureadIORef
uwriteIORef
umodifyIORef
ureadmodifyIORef
runUndo
type RefCreateEnv blk
class Refinable a blk
newPlaceholder
dryInstantiate
type BlkInfo blk
data MM a blk
type MetaEnv
type PrintConstr
data MB a blk
data PB blk
data QPB b blk
mmcase
mmmcase
mmpcase
doubleblock
mbcase
mbpcase
mmbpcase
mbret
mbfailed
mpret
type HandleSol
type HandlePartSol
type SRes
topSearch
extractblkinfos
recalcs
seqc
recalc
reccalc
calc
choosePrioMeta
propagatePrio
data Choice
choose
printCTree