Camfort.Helpers.Syntax

Comparison and ordering

data AnnotationFree t

af

unaf

caml

lower

Accessor functions for extracting various pieces of information

extractVariable

dropLine

deleteLine

linesCovered

toCol0

afterAligned