Module Ast
module Ast: sig
.. end
Type of abstract syntax trees, printing and various functions on them.
Type of Abstract Syntax Trees
type
bop =
| |
Plus |
| |
Minus |
| |
Times |
| |
Div |
type
expr =
type
stm =
Various Utility Functions
val loc_of_expr : expr -> Location.t
loc_of_expr e
returns location contained in expression e
.
val loc_of_stm : stm -> Location.t
loc_of_stm s
returns location contained in statement s
.
val neg_guard : expr -> expr
neg_guard e
returns an expression e'
such that guard e' > 0
is equivalent to e <= 0.
val vars_of_stm : stm -> Name.Set.t
vars_of_stm stm
returns the set of variables appearing
in statement stm
.
Printing Functions
val char_of_bop : bop -> char
val fprint_expr : Format.formatter -> expr -> unit
val fprint_stm : Format.formatter -> stm -> unit