Module Djot_kernel.Spec

val block : bool -> bool -> bool -> bool -> Profile.options
val dollar_math : Profile.options
val custom_tags : Profile.options
val holes : Profile.options
val list_interruption : Profile.options
val setext_headings : Profile.options
val keyed_blocks : Profile.options
val callouts : Profile.options
val all : (string * Profile.options) list