Expr_set (stanc.Analysis_and_optimization.Monotone_framework.Expr

type t = Core.Set.M(Middle.Expr.Typed).t

val empty : 
  (Middle.Expr.Typed.t, Middle.Expr.Typed.comparator_witness) Core.Set.t

val singleton : 
  Middle.Expr.Typed.t ->
  (Middle.Expr.Typed.t, Middle.Expr.Typed.comparator_witness) Core.Set.t

val union_list : 
  (Middle.Expr.Typed.t, Middle.Expr.Typed.comparator_witness) Core.Set.t list ->
  (Middle.Expr.Typed.t, Middle.Expr.Typed.comparator_witness) Core.Set.t