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