sig
  val from_chan : Pervasives.in_channel -> T.Ast.t
  val from_string : string -> T.Ast.t
end