Type Inference Prev: typescripts-type-system Next: type-design Prev: typescripts-type-system Next: type-design