Module Djot_kernel.InlineView
val is_space : char -> boolval nonspace_at : char option -> boolval dopens_after : char option -> boolval needs_escape_dest : char -> boolval marker_core : string -> boolval opens_line : char -> boolval opens_block : string -> char -> string -> boolval escape_dest : string -> stringval tick_runs_from : int -> string -> int listval tick_runs : string -> int listval first_missing : int -> int -> int list -> intval verb_ticks : string -> intval starts_tick : string -> boolval ends_tick : string -> boolval strip_pad : string -> stringval trim_verb : string -> stringval pad_verb : string -> stringval ticks : int -> stringval verb_text : string -> stringval verb_safe_from : int -> int -> string -> boolval verb_safe : int -> string -> boolval starts_space_tick : string -> boolval verb_content_ok : string -> boolval bracket_open : bool -> stringval tag_open : string -> stringval link_close : string -> string -> stringval ref_close : string -> string -> stringval wiki_text : bool -> string -> string option -> stringval note_text : string -> stringval note_label_safe_from : bool -> string -> boolval note_label_safe : string -> boolval last_ws_split : string -> string * stringval auto_email : string -> boolval is_alpha : char -> boolval symbol_char : char -> boolval periods : bool -> stringval srep : string -> int -> stringval dash_counts : int -> (int * int) * intval dashes : int -> stringval auto_kind_ok : string -> boolval auto_text : string -> stringval auto_body_ok : string -> boolval raw_spec_ok : string -> boolval raw_fmt_ok : string -> boolval raw_stop : char -> boolval raw_text : string -> string -> stringval hole_spell : string -> stringtype cinline = | CIStr of string| CIVerb of string| CIDelim of InlineTable.dstyle * cinline list| CILink of bool * cinline list * string| CIRef of bool * cinline list * string| CINote of string| CIAuto of string| CIRaw of string * string| CIWiki of bool * string * string option| CITag of string * cinline list
val str_last : string -> char option -> char optionval tag_may_follow : string -> boolval ci_lbrack_head : cinline -> boolval cis_lbrack_head : cinline list -> boolval ref_label_safe : string -> boolval wiki_part_ok : string -> boolval tag_name_ok : string -> bool