Djot_kernel.ProfileChecks
val wrap_safe : Profile.options -> bool
val heading_wrap_safe : Profile.options -> bool
val quote_uniform : Profile.options -> bool
val lazy_uniform : Profile.options -> bool
val shape_first : Profile.options -> bool