Ids (djot.Djot_kernel.Document.Ids)

val of_block : 
  Ast.block ->
  Ast.pos ->
  Ast.attr ->
  id_state ->
  id_state * Ast.block Ast.node

val of_node : Ast.block Ast.node -> id_state -> id_state * Ast.block Ast.node

val of_list : Ast.blocks -> id_state -> id_state * Ast.blocks