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