Mina_base.Receipt
module Signed_command_elt : sig ... end
module Zkapp_command_elt : sig ... end
module Chain_hash : sig ... end