lavadocs for LazyLock