Module Zkapp_command.Virtual

module Bool : sig ... end
module Unit : sig ... end
module Ledger = Unit
module Account = Unit
module Amount : sig ... end
module Token_id : sig ... end
module Zkapp_command : sig ... end