hara.typed.xtalk-infer

infer-type

(infer-type form ctx)

intrinsic-callbacks

(intrinsic-callbacks)