contract C {
    /// @notice example of notice
    /// @dev example of dev
    uint private state;
}
// ----
// ----
// :C devdoc
// {
//     "kind": "dev",
//     "methods": {},
//     "stateVariables":
//     {
//         "state":
//         {
//             "details": "example of dev"
//         }
//     },
//     "version": 1
// }
//
// :C userdoc
// {
//     "kind": "user",
//     "methods": {},
//     "version": 1
// }