Coq definitions of the data structures in PFDS.