(chibi type-inference)

General type-inference library.

(type=? a b)

(type-subset? a b)

(type-analyze-module name)

Analyze the types of all bindings in the module name.

(type-analyze sexp . o)

Return the type signature for a given source code expression.

(opcode-param-types x)

(procedure-signature x . #<undef>)

Return the type signature for the procedure x as a list whose first element is the return type and whose remaining arguments are the parameter types.