Dummy_zk_rollup.Bound
Bounds required for the dummy rollup.
type 'a t = private Z.t
val bound_balance : balance t
val bound_amount : amount t
val bound_fee : fee t
val bound_op_code : op_code t
val v : 'a t -> Z.t