Module proof 

Proof that an invoice passed a named profile. Formats stamp BT-24 from this.

Structs

Check

Builder that records suppressions. prove fails if any id was suppressed — a proof must see every fatal.

En16931

PeppolBis3

Pint

PintMy

Validated

An invoice validated against P. Cannot be constructed from a suppressed run.

Enums

ProveError

Traits

ProfileMarker

A profile at the type level.

Underlies

Q: Underlies<P> means every document valid under P is valid under Q.