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