pub { {field load {with load}} {field sigs {list} {of sig} >0 optional} {field pubs {list} {of pub} >0 optional} } load { {field . {map}} {field t {str} =pub} {field v {with pub-load}} } av { {field . {map}} {field a {str} >0} {field v {bin}} } sig { {field tbs {with pub-sig-tbs}} {field sign {with av}} } schema-include fpr.tcl schema-include pub-load.tcl schema-include pub-sig-tbs.tcl