path: root/aarch64_small/mono-splices/SignExtend.sail

function SignExtend (N,x) = {
  return(extsv(x))
}