reify_in_state, is_ground, is_ground_bool (needed for JGS)#182

Kakadu merged 1 commit intomasterPLTools/OCanren:masterfrom

reify_in_statePLTools/OCanren:reify_in_stateCopy head branch name to clipboard