module DocsCRDT {
    header "DocsCRDT.h"
    export *
}