Module T.Top

module Top: sig .. end

val loop : (T.Type.t Env.t -> T.Ast.t -> T.Type.t) -> unit

Boucle interactive pour PCF typé, limitée aux types.

L'appel loop check appelle indéfiniment le vérificateur check, avec un environnement étendu par types des définitions.

val loop_eval : (T.Type.t Env.t -> T.Ast.t -> T.Type.t) ->
       (Pervasives.out_channel -> 'a -> unit) -> ('a Env.t -> T.Ast.t -> 'a) -> unit

L'appel loop_eval check print eval lance une boucle interactive complète qui combine vérification de type (par check) et évaluation (par eval). Les valeurs (type 'a) sont affichées par print.

Un double environnement (pour les types T.Type.t et les valeurs 'a) est maintenu.