Annotations.MultiRec.Annotated

type AnnFix x s

type AnnFix1 x s

mkAnnFix

type AnyAnnFix x s

unannotate

children

flatten

filterAnnFix

debugFlatten

allAnnotations

type AnnZipper phi x

focusAnn

explore

findLeftmostDeepest