public void JoinApply_Id()
{
var tp =
new Curry(
new Curry(
new Var("x"), Typs.String
), new Curry(
new Var("x"), Typs.String
)
);
Assert.Equal("($x -> string) -> $x -> string", tp.ToString());
/*
* ($x -> string) -> $x -> string
* ($a -> $a )
* should give the unification table
* ($x --> string)
*/
var unificationTable = tp.ArgType.UnificationTable(Funcs.Id.Types.First());
Assert.Equal("string", unificationTable["$a"].ToString());
Assert.Equal("string", unificationTable["$x"].ToString());
Assert.Equal(2, unificationTable.Count);
}