coq

Formal proof management system
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library coqide-server.protocol
Module Serialize
exception Marshal_error of string * Xml_datatype.xml
val massoc : string -> (string * string) list -> string
val constructor : string -> string -> Xml_datatype.xml list -> Xml_datatype.xml
val do_match : string -> ( string -> Xml_datatype.xml list -> 'b ) -> Xml_datatype.xml -> 'b
val singleton : 'a list -> 'a
val empty : 'a list -> unit
val raw_string : Xml_datatype.xml list -> string
val of_unit : unit -> Xml_datatype.xml
val to_unit : Xml_datatype.xml -> unit
val of_bool : bool -> Xml_datatype.xml
val to_bool : Xml_datatype.xml -> bool
val of_list : ( 'a -> Xml_datatype.xml ) -> 'a list -> Xml_datatype.xml
val to_list : ( Xml_datatype.xml -> 'a ) -> Xml_datatype.xml -> 'a list
val of_option : ( 'a -> Xml_datatype.xml ) -> 'a option -> Xml_datatype.xml
val to_option : ( Xml_datatype.xml -> 'a ) -> Xml_datatype.xml -> 'a option
val of_string : string -> Xml_datatype.xml
val to_string : Xml_datatype.xml -> string
val of_int : int -> Xml_datatype.xml
val 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
val of_edit_id : int -> Xml_datatype.xml
val to_edit_id : Xml_datatype.xml -> int
val of_loc : Loc.t -> Xml_datatype.xml
val to_loc : Xml_datatype.xml -> Loc.t