Module S.Reader

module Reader: sig .. end

Lecture des termes PCF

val from_chan : Pervasives.in_channel -> S.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 -> S.Ast.t

Lire dans une chaîne