package forester

  1. Overview
  2. Docs
package forester
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file Types.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(*
 * SPDX-FileCopyrightText: 2024 The Forester Project Contributors
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *)

type xmlns_attr = {prefix: string; xmlns: string}

type xml_qname = {prefix: string; uname: string; xmlns: string option}
[@@deriving show, repr]

let split_xml_qname str =
  match String.split_on_char ':' str with
  | [prefix; uname] -> Some prefix, uname
  | [uname] -> None, uname
  | _ -> failwith "split_xml_qname"