sig
  type rsattribute = Namespace_names.rqname * Datatypes.xs_untyped
  type rsattribute_forest = Small_stream_ast.rsattribute list
  type rsexpr =
      RSDocument of
        (Dm_atomic.atomicAnyURI option Pervasives.ref *
         Small_stream_ast.rsexpr list)
    | RSElem of Namespace_names.rqname * Namespace_context.binding_table *
        Small_stream_ast.rsattribute_forest *
        Dm_atomic.atomicAnyURI option Pervasives.ref *
        Small_stream_ast.rsexpr list
    | RSText of Datatypes.xs_untyped
    | RSPI of (Namespace_names.ncname * Datatypes.xs_untyped)
    | RSComment of Datatypes.xs_untyped
    | RSHole
  type sattribute = Namespace_symbols.rattr_symbol * Datatypes.xs_untyped
  type sattribute_forest = Small_stream_ast.sattribute list
  type sexpr =
      SDocument of
        (Dm_atomic.atomicAnyURI option Pervasives.ref *
         Small_stream_ast.sexpr list)
    | SElem of Namespace_symbols.relem_symbol * Namespace_context.nsenv *
        Small_stream_ast.sattribute_forest *
        Dm_atomic.atomicAnyURI option Pervasives.ref *
        Small_stream_ast.sexpr list
    | SText of Datatypes.xs_untyped
    | SPI of (Namespace_names.ncname * Datatypes.xs_untyped)
    | SComment of Datatypes.xs_untyped
    | SHole
end