sig
type literal =
Rdf_node.literal = {
lit_value : string;
lit_language : string option;
lit_type : Rdf_uri.uri option;
}
type blank_id = Rdf_node.blank_id
type node =
Rdf_node.node =
Uri of Rdf_uri.uri
| Literal of literal
| Blank
| Blank_ of blank_id
val compare : node -> node -> int
module Ord_type : sig type t = node val compare : node -> node -> int end
module NSet :
sig
type elt = node
type t = Rdf_node.NSet.t
val empty : t
val is_empty : t -> bool
val mem : elt -> t -> bool
val add : elt -> t -> t
val singleton : elt -> t
val remove : elt -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : (elt -> unit) -> t -> unit
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val for_all : (elt -> bool) -> t -> bool
val exists : (elt -> bool) -> t -> bool
val filter : (elt -> bool) -> t -> t
val partition : (elt -> bool) -> t -> t * t
val cardinal : t -> int
val elements : t -> elt list
val min_elt : t -> elt
val max_elt : t -> elt
val choose : t -> elt
val split : elt -> t -> t * bool * t
val find : elt -> t -> elt
end
type triple = node * node * node
val string_of_blank_id : blank_id -> string
val blank_id_of_string : string -> blank_id
val node_of_uri_string : string -> node
val mk_literal : ?typ:Rdf_uri.uri -> ?lang:string -> string -> literal
val mk_literal_datetime : ?d:float -> unit -> literal
val node_of_datetime : ?d:float -> unit -> node
val datetime_of_literal : literal -> Netdate.t
val mk_literal_bool : bool -> literal
val mk_literal_int : int -> literal
val mk_literal_double : float -> literal
val bool_of_literal : literal -> bool
val node_of_literal_string :
?typ:Rdf_uri.uri -> ?lang:string -> string -> node
val node_of_int : int -> node
val node_of_double : float -> node
val node_of_bool : bool -> node
val quote_str : string -> string
val string_of_literal : literal -> string
val string_of_node : node -> string
val node_hash : node -> int64
val lit_true : literal
val lit_false : literal
end