123456789
// Copyright (c) 2020 Jozty. All rights reserved. MIT license.
/** * Decreases its argument by 1. */export function dec(element: number) {  return element - 1;}