package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type xml = Xml_datatype.xml
type t
type target =
  1. | TChannel of Stdlib.out_channel
  2. | TBuffer of Stdlib.Buffer.t
val make : target -> t
val print : t -> xml -> unit

Print the xml data structure to a source into a compact xml string (without any user-readable formatting ).

val to_string : xml -> string

Print the xml data structure into a compact xml string (without any user-readable formatting ).

val to_string_fmt : xml -> string

Print the xml data structure into an user-readable string with tabs and lines break between different nodes.

val pcdata_to_string : string -> string

Print PCDATA as a string by escaping XML entities.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct