package Ġit . uni bo . tup ro log . solve . stdlib . primitive Ċ Ċ import Ġit . uni bo . tup ro log . solve . primitive . Solve Ċ import Ġit . uni bo . tup ro log . solve . primitive . Unary Predicate Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . assert Correct Response Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . atom Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . atomic Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . callable Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . compound Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . ensure Executable Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . float Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . ground Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . integer Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . non Var Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . number Query To Result Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . test utils . Type Testing Utils . var Query To Result Ċ import Ġkotlin . test . Test Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . Atom Ġas ĠAtom Primitive Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . Float Ġas ĠFloat Primitive Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . Integer Ġas ĠInteger Primitive Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . Number Ġas ĠNumber Term Ċ import Ġit . uni bo . tup ro log . solve . stdlib . primitive . Var Ġas ĠVar Primitive Ċ Ċ /** Ċ Ġ* ĠTests Ġfor Ġprimitives Ċ Ġ* Ġ[ Atom Primitive ], Ċ Ġ* Ġ[ Float Primitive ], Ċ Ġ* Ġ[ Integer Primitive ], Ċ Ġ* Ġ[ Number Term ], Ċ Ġ* Ġ[ Var Primitive ], Ċ Ġ* Ġ[ Ensure Executable ], Ċ Ġ* Ġ[ Atomic ], Ċ Ġ* Ġ[ Callable ], Ċ Ġ* Ġ[ Compound ], Ċ Ġ* Ġ[ Ground ], Ċ Ġ* Ġ[ Non Var ] Ċ Ġ*/ Ċ internal Ġclass ĠType Testing Primitives Test Ġ{ ĊĊĠĠĠ Ġprivate Ġfun Ġassert Type Testing Works ( primitive : ĠUnary Predicate <* >, Ġcases : ĠMap < Solve . Request <* >, ĠAny >) Ġ{ ĊĠĠĠĠĠĠĠ Ġcases . forEach Ġ{ Ġ( request , Ġresult ) Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġassert Correct Response ( primitive , Ġrequest , Ġresult ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġatom Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Atom Primitive , Ġatom Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġfloat Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Float Primitive , Ġfloat Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġinteger Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Integer Primitive , Ġinteger Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġnumber Term Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Number Term , Ġnumber Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġvar Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Var Primitive , Ġvar Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġensure Executable Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Ensure Executable , Ġensure Executable Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġatomic Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Atomic , Ġatomic Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġcallable Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Callable , Ġcallable Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġcompound Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Compound , Ġcompound Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġground Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Ground , Ġground Query To Result ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġnon Var Type Testing Works Correct ly () Ġ{ ĊĠĠĠĠĠĠĠ Ġassert Type Testing Works ( Non Var , Ġnon Var Query To Result ) ĊĠĠĠ Ġ} Ċ } Ċ