-record(axis_spec, {name :: viva_tensor@axis:axis(), size :: integer()}).