module Expr: sig .. end
sig
end
type t
val fprint : Pervasives.out_channel -> t -> unit
Pervasives.out_channel -> t -> unit
val eval : t -> int
t -> int
val min_of_expr : t -> int
val max_of_expr : t -> int
val min_max_of_expr : t -> int * int
t -> int * int