Gil_parsing
module type S = sig ... end
module Make (Annot : Gillian.Gil_syntax.Annot.S) : S with type annot = Annot.t