While the syntax and meta-syntax formalisms of Prop are involved with transforming data structures to and from a textual external form, the persistence formalism is responsible for transformation to and from an binary form.
