flatcurry-annotated

This package contain libraries to represent FlatCurry programs with arbitrary annotations.