Serialize (p.coq.8.14.1.doc.coqide-server.protocol.Serialize)

Sourceexception Marshal_error of string * Xml_datatype.xml

Sourceval massoc : string -> (string * string) list -> string

Sourceval constructor : string -> string -> Xml_datatype.xml list -> Xml_datatype.xml

val do_match : 
  string ->
  (string -> Xml_datatype.xml list -> 'b) ->
  Xml_datatype.xml ->
  'b

Sourceval singleton : 'a list -> 'a

Sourceval empty : 'a list -> unit

Sourceval raw_string : Xml_datatype.xml list -> string

Sourceval of_unit : unit -> Xml_datatype.xml

Sourceval to_unit : Xml_datatype.xml -> unit

Sourceval of_bool : bool -> Xml_datatype.xml

Sourceval to_bool : Xml_datatype.xml -> bool

Sourceval of_list : ('a -> Xml_datatype.xml) -> 'a list -> Xml_datatype.xml

Sourceval to_list : (Xml_datatype.xml -> 'a) -> Xml_datatype.xml -> 'a list

Sourceval of_option : ('a -> Xml_datatype.xml) -> 'a option -> Xml_datatype.xml

Sourceval to_option : (Xml_datatype.xml -> 'a) -> Xml_datatype.xml -> 'a option

Sourceval of_string : string -> Xml_datatype.xml

Sourceval to_string : Xml_datatype.xml -> string

Sourceval of_int : int -> Xml_datatype.xml

Sourceval to_int : Xml_datatype.xml -> int

val of_pair : 
  ('a -> Xml_datatype.xml) ->
  ('b -> Xml_datatype.xml) ->
  ('a * 'b) ->
  Xml_datatype.xml

val to_pair : 
  (Xml_datatype.xml -> 'a) ->
  (Xml_datatype.xml -> 'b) ->
  Xml_datatype.xml ->
  'a * 'b

val of_union : 
  ('a -> Xml_datatype.xml) ->
  ('b -> Xml_datatype.xml) ->
  ('a, 'b) CSig.union ->
  Xml_datatype.xml

val to_union : 
  (Xml_datatype.xml -> 'a) ->
  (Xml_datatype.xml -> 'b) ->
  Xml_datatype.xml ->
  ('a, 'b) CSig.union

Sourceval of_edit_id : int -> Xml_datatype.xml

Sourceval to_edit_id : Xml_datatype.xml -> int

Sourceval of_loc : Loc.t -> Xml_datatype.xml

Sourceval to_loc : Xml_datatype.xml -> Loc.t

Sourceval of_xml : Xml_datatype.xml -> Xml_datatype.xml

Sourceval to_xml : Xml_datatype.xml -> Xml_datatype.xml