;; type inferencing for generic functions arguments
(define impc:ti:nativef-generics-check-args
(lambda (ast gpoly-type vars kts request?)
;; (println 'generic-check-args 'ast: ast 'vars: vars)
;; (println '____ast: ast)
;; (println 'generic-type: gpoly-type)