Package net.hydromatic.morel.util

Interface Unifier.Retry

All Superinterfaces:
Unifier.Result
Enclosing class:
Unifier
public static interface Unifier.Retry extends Unifier.Result
Result indicating that unification may be possible if we adjust some initial parameters.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    amend()
    Changes some stuff so that we can try unification again.

  • Method Details

    • amend

      void amend()
      Changes some stuff so that we can try unification again.