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