function types.uintimport { types } from "https://deno.land/x/clarinet@2021-03-20/index.ts"; const { uint } = types; uint(val: number)Parametersval: number