3 ms·A dependent claim is like a #include for lawyers that don't like typing.by 0x12 15y agoA dependent claim is like a #include for lawyers that don't like typing.