Dolmen_model.Core
module E = Dolmen.Std.Expr
module B = Dolmen.Std.Builtin
val all_equals : Value.t list -> Value.t
val distinct : Value.t list -> Value.t
val builtins : eval:'a -> 'b -> E.Term.Const.t -> Value.t option