InlineLocated (djot.Djot_kernel.InlineLocated)

val cursor_in : int -> int -> Ast.spot -> Ast.coq_InlineCursor

val iscan_str_located : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  bool ->
  int ->
  Ast.spot ->
  int ->
  string ->
  string InlineScan.iscan_g ->
  string InlineScan.iscan_g

val lines_start : (int * string) list -> Ast.spot

val lines_stop : (int * string) list -> Ast.spot

val allow_attrs : InlineTable.dtable -> int -> bool

val iscan_lines_located : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  Ast.spot ->
  (int * string) list ->
  string InlineScan.iscan_g ->
  string InlineScan.iscan_g

val ifinish_located : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  (int * string) list ->
  string InlineScan.iscan_g ->
  Ast.inlines

val sscan_str_located : 
  InlineTable.dtable ->
  'a1 InlineScan.coq_TextOps ->
  Ast.coq_PosPolicy ->
  bool ->
  int ->
  Ast.spot ->
  int ->
  string ->
  'a1 InlineScan.sscan ->
  'a1 InlineScan.sscan

val sscan_lines_located : 
  InlineTable.dtable ->
  'a1 InlineScan.coq_TextOps ->
  Ast.coq_PosPolicy ->
  int ->
  Ast.spot ->
  (int * string) list ->
  'a1 InlineScan.sscan ->
  'a1 InlineScan.sscan

val para_inlines_located_stk : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  (int * string) list ->
  Ast.inlines

val parse_inline_line_located_stk : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  int ->
  string ->
  Ast.inlines

val para_inlines_located : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  (int * string) list ->
  Ast.inlines

val para_inlines_at : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  (int * string) list ->
  Ast.inlines

val parse_inline_line_located : 
  InlineTable.dtable ->
  Ast.coq_PosPolicy ->
  int ->
  int ->
  string ->
  Ast.inlines