Module Typeinf

module Typeinf: sig .. end

Support code for writing type-inference.

type id = string

type op2 = Typeinf_syntax.op2 =

type const = Typeinf_syntax.const =

`\|`	`Int of int`	`(*`	decimal integer	`*)`
`\|`	`Bool of bool`	`(*`	either `true` or `false`	`*)`

module Implicit: sig .. end

The abstract syntax of the implicitly-typed syntax and a parser.

module Explicit: sig .. end

The abstract syntax of the explicitly-typed syntax and a pretty-printer.