Module Typeinf.Implicit

module Implicit: sig .. end

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

type exp = Typeinf_syntax.Implicit.exp =

`\|`	`Const of Typeinf.const`
`\|`	`Op2 of Typeinf.op2 * exp * exp`
`\|`	`If of exp * exp * exp`
`\|`	`Id of Typeinf.id`
`\|`	`Let of Typeinf.id * exp * exp`
`\|`	`Fun of Typeinf.id * exp`
`\|`	`Fix of Typeinf.id * exp`
`\|`	`App of exp * exp`
`\|`	`Empty`
`\|`	`Cons of exp * exp`
`\|`	`Head of exp`
`\|`	`Tail of exp`
`\|`	`IsEmpty of exp`
`\|`	`Pair of exp * exp`
`\|`	`ProjL of exp`
`\|`	`ProjR of exp`

val from_file : string -> exp

val from_string : string -> exp