galactic / public / src / rust / binary-relation