liquid-fixpoint-0.1.0.0: external/fixpoint/Simplification.mli
val simplify_t : FixConstraint.t -> FixConstraint.t val simplify_ts : FixConstraint.t list -> FixConstraint.t list val is_tauto_t : FixConstraint.t -> bool
val simplify_t : FixConstraint.t -> FixConstraint.t val simplify_ts : FixConstraint.t list -> FixConstraint.t list val is_tauto_t : FixConstraint.t -> bool