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