(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 . o)`

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.