/* * Interface to code for simplifying goals based on recognizing * ones that have trivial solutions */ sig goalred. accum_sig goaltypes. type goalreduce goal -> goal -> o.
/* * Interface to code for simplifying goals based on recognizing * ones that have trivial solutions */ sig goalred. accum_sig goaltypes. type goalreduce goal -> goal -> o.