/documentation
JaversType refinement