Module I.Reader

module Reader: sig .. end

Lecture des termes PCF

val from_chan : Pervasives.in_channel -> I.Ast.t

Lire dans un canal (un fichier), un canal simple est l'entrée standard stdin.
See also Pervasives.stdin

val from_string : string -> I.Ast.t

Lire dans une chaîne