def axis_size
import stelliferous@0.0.2.0/kernel_shape.bend as KernelShapeimport Base
9def axis_size(+size: Nat,+kernel: Nat,stride: Nat,+padding: Nat) -> Nat:
10 1n+Nat.div(Nat.sub(Nat.add(size,Nat.mul(2n,padding)),kernel),stride)
import stelliferous@0.0.2.0/kernel_shape.bend as KernelShapeimport Base
9def axis_size(+size: Nat,+kernel: Nat,stride: Nat,+padding: Nat) -> Nat:
10 1n+Nat.div(Nat.sub(Nat.add(size,Nat.mul(2n,padding)),kernel),stride)