Brassaia_eio.Proof_intf
module type S = sig ... end
Proofs are compact representations of trees which can be shared between peers.
module type Env = sig ... end
Environment that tracks side effects during the production/consumption of proofs.
module type Proof = sig ... end