Proof (octez-libs.Brassaia

include Proof_intf.Proof

module type S = Proof_intf.S

module type Env = Proof_intf.Env

exception Bad_proof of {

context : string;

}

val bad_proof_exn : string -> 'a

module Make (C : Type.S) (H : Hash.S) : sig ... end

module Env
  (Backend : Backend.S) : 
  Env
    with type hash := Backend.Hash.t
     and type contents := Backend.Contents.Val.t
     and type node := Backend.Node.Val.t
     and type pnode := Backend.Node_portable.t