Skip to content
This repository has been archived by the owner on Nov 7, 2020. It is now read-only.

ASCII IO format

Jump to bottom
LdBeth edited this page Sep 23, 2020 · 2 revisions

This is essentially a linearized textural representation of PRL term data structures, with additional file magic (checksum) mechanics. Used in .prla files.

You can view the PRL term representation by set_dfmode "src".

See refiner/reflib/ascii_io_sig.ml.

Clone this wiki locally