C (octez-libs.Brassaia_eio.Proof.Make.C)

include Repr.S

type t

val t : t Repr__Type.ty

val encoding : t Data_encoding.t