;; multiple a * 5
;; note that type infercing works out the type
;; of "a" and then using the inferred type
;; also works out the type of my-test-1
;; (i.e. argument type and return type)
;;
;; integer literals default to 64 bit integers
(bind-func my-test-1
(lambda (a)
(* a 5)))