DocDefList [_×_ (DocString "foo") (DocString "bar")]