Module apx 

APX text format I/O for VAFs (ASPARTIX-compatible).

The APX format uses Prolog-style facts:

arg(h1).
arg(c1).
att(h1, c1).
att(c1, h1).
val(h1, life).
val(c1, property).
valpref(life, property).

Comments start with % and run to end of line. Whitespace is ignored.

valpref(a, b) means value a is strictly preferred over value b. Multiple valpref facts together encode an audience.

Functions

from_apx

Parse an APX document into (framework, audience) pair.

to_apx

Serialise a VAF + audience to APX format.