hara.typed.xtalk-compat
any-type?
(any-type? type)
compatible-type?
(compatible-type? actual expected ctx)
field-access-type
(field-access-type type key ctx)
field-literal
(field-literal form)
literal-key-type
(literal-key-type form)
literal-type
(literal-type form)
merge-errors
(merge-errors & results)
object-value-type
(object-value-type type ctx)
resolve-local-symbol
(resolve-local-symbol sym {:keys [ns aliases]})
resolve-type
(resolve-type type ctx)(resolve-type type ctx seen)
result
(result type)(result type errors)(result type errors env)
type-eq?
(type-eq? left right)
with-loc
(with-loc result loc)