hara.typed.xtalk-env
binding-decl
(binding-decl target ctx)
binding-updates
(binding-updates target expr-type ctx)
dynamic-assignment-target?
(dynamic-assignment-target? target)
lookup-symbol-type
(lookup-symbol-type sym {:keys [env], :as ctx})
map-binding-updates
(map-binding-updates target expr-type ctx)
maybe-register-function!
(maybe-register-function! resolved-sym)