Module `Gillian.Gil_parsing`

The GIL parser

This is parametric over target languages, via the Annot module parameter.

module type S = Gil_parsing.S

module Make = Gil_parsing.Make