Module Djot_kernel.OrderedList

val nsc_marker : (int -> string) -> Ast.ordered_list_delim -> int -> Line.marker
val nsc_items : (int -> string) -> Ast.ordered_list_delim -> int -> string list list -> ListUniformity.litem list
val dec_marker : Ast.ordered_list_delim -> int -> Line.marker
val dec_items : Ast.ordered_list_delim -> int -> string list list -> ListUniformity.litem list
val roman_sty : bool -> Ast.ordered_list_style
val alpha_sty : bool -> Ast.ordered_list_style
val alpha_char : bool -> int -> char
val alpha_roman_digit : bool -> int -> bool
type list_kind =
  1. | LKBullet
  2. | LKDef
  3. | LKTask of Ast.task_status list
  4. | LKDecimal of Ast.ordered_list_delim * int
  5. | LKRoman of bool * Ast.ordered_list_delim * int
  6. | LKAlpha of bool * Ast.ordered_list_delim * int
val ck_first : list_kind -> Line.marker
val task_ck_items : Ast.task_status list -> string list list -> ListUniformity.litem list
val ck_items : list_kind -> string list list -> ListUniformity.litem list
val ck_block : list_kind -> Ast.list_spacing -> Ast.blocks list -> Ast.block
val ck_ok : Step.bconfig -> list_kind -> int -> bool