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