UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable.
Soutaro Matsumoto
July 29, 2014 11:45am
MIT