package models.algebra;

public class UnificationFailed extends Exception {

}