Module Djot_kernel.Properties

type status =
  1. | Proved
  2. | Conditional of string
  3. | Broken of string * string
  4. | Conjectured
  5. | Unknown
  6. | Inapplicable of string
val status_name : status -> string
val claimed : status -> bool
type property = {
  1. p_id : string;
  2. p_group : string;
  3. p_statement : string;
  4. p_implication : string;
  5. p_theorems : string list;
  6. p_status : Profile.options -> status;
}
val always : status -> Profile.options -> status
val no_backtracking : string
val uniformity : string
val local : string
val wrapping : string
val structure : string
val precedence : string
val p_block_no_backtracking : property
val p_inline_no_backtracking : property
val p_incremental_reparse : property
val p_block_replace : property
val p_positions : property
val p_linear_time : property
val p_quote_uniformity : property
val keyed_items_condition : string
val p_list_uniformity : property
val p_definition_list_uniformity : property
val p_div_uniformity : property
val p_footnote_uniformity : property
val p_lazy_lines : property
val p_list_tightness : property
val p_indent_uniformity : property
val p_reference_locality : property
val p_reference_shape : property
val p_hard_wrap_paragraph : property
val p_hard_wrap_heading : property
val p_block_structure_first : property
val p_inline_precedence : property
val p_inline_grammar : property
val all : property list