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