Constants.Bound
type 'a t = private Z.t
val max_nb_leaves : position t
val max_balance : balance t
val max_amount : amount t
val max_fee : fee t
val max_counter : counter t
val max_op_code : op_code t
val v : 'a t -> Z.t