Module S.Ast


module Ast: sig .. end
Types des arbres de syntaxe abstraite


type t =
| Num of int (*Constante entière*)
| Var of string (*Accès à une variable*)
| Op of Op.t * t * t (*Application d'un opérateur binaire t1 op t2*)
| Ifz of t * t * t (*Conditionnelle Ifz t1 Then t2 Else t3*)
| Let of string * t * t (*Liaison locale Let x = t1 In t2*)
| App of t * t (*Application de fonction t1 t2*)
| Fun of string * t (*Définition de fonction Fun x -> t*)
| Fix of string * t (*Point fixe Fix x -> t*)
val print : Pervasives.out_channel -> t -> unit
Afficher dans un canal de sortie. Un canal simple est la sortie standard.
See also Pervasives.stdout