ML signature generation.
Prettier printing of generated ML: omit parentheses where possible.
Free structs and unions returned by value.
A module of types and functions used in generated bindings.
Pretty printing for generated ML.
Stub generation tests.
Test for calling atomic builtins via stub generation.
Test calling type-generic macros via generated stubs.
Support for generating signatures for ML bindings.
Parenthesize return types of external bindings.
Split stub analysis into a separate module.
Move ident_of_ml_prim to Cstubs_public_name.
Clarify code for generating 'external' types.
More shuffling functions around.
Generate public names, not internal names, for primitives.