Module Tezos_raw_protocol_alpha.Sc_rollup_arith

This module provides a temporary toy rollup to be used as a demo.

module type S = sig ... end

This rollup is a stack machine equipped with addition.