GitHub repository: soutaro/unification_assertion
Primary language: Ruby
Description: Assertion to test unifiability of two values