/** * This method tests the "and" method. * * @dataProvider data_and */ public function test_and(array $provided, array $expected) { $p0 = IArrayList\Type::make($provided[0], '\\Saber\\Data\\IBool\\Type'); $r0 = IArrayList\Module::and_($p0); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $r0); $this->assertSame($e0, $r0->unbox()); }