Package net.hydromatic.morel.util

Interface Unifier.Failure

All Superinterfaces:
Unifier.Result
Enclosing class:
Unifier
public static interface Unifier.Failure extends Unifier.Result
Result indicating that unification was not possible.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    reason()
     

  • Method Details