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