Module Djot_kernel.Uniformity

val run_lines : InlineTable.dtable -> Step.bconfig -> string list -> Step.pstate -> Ast.blocks * Step.pstate
val run_div_open : InlineTable.dtable -> Step.bconfig -> int -> string list -> Step.pstate -> bool
val div_content_ok : InlineTable.dtable -> Step.bconfig -> string list -> bool
val pend_carriable : Step.pstate -> bool
val key_carriable : Step.pstate -> bool
val key_content_ok : InlineTable.dtable -> Step.bconfig -> string list -> Step.pstate -> bool