Module Make.A

type 'a t = 'a Angstrom.t
type e = head_contents
val p : e t