sig
  val principal_node_kind :
    Xquery_common_ast.axis -> Xquery_common_ast.principal
  val forward_axis : Xquery_common_ast.axis -> bool
  val bogus_cvname : Xquery_common_ast.cvname
end