Module Typeinf_util

module Typeinf_util: sig .. end

type result = 

val parse : string -> result

val parse_from_file : string -> result

val print_exp : Typeinf_syntax.Explicit.exp -> unit

val string_of_exp : Typeinf_syntax.Explicit.exp -> string

val string_of_typ : Typeinf_syntax.Explicit.typ -> string

val print_typ : Typeinf_syntax.Explicit.typ -> unit