Module Typing

module Typing: sig .. end

exception Error of string

val program : Ptree.file -> Ttree.file