# (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.