package rdf

  1. Overview
  2. Docs
module SMap = Xml.SMap
type context = {
  1. base : Iri.t;
  2. prefixes : Iri.t SMap.t;
  3. gstate : Xml.global_state;
}
type iriref = string
type directive =
  1. | Prefix of string * iriref
  2. | Base of iriref
type qname = string option * string option
type iri =
  1. | Iriref of iriref
  2. | Qname of qname
type language = string
type literal =
  1. | String of string * language option * iri option
type object_ =
  1. | Obj_iri of iri
  2. | Obj_blank of blank
  3. | Obj_literal of literal
and blank =
  1. | NodeId of string
  2. | Empty
  3. | PredObjs of predobj list
  4. | Collection of object_ list
and pred =
  1. | Pred_iri of iri
  2. | Pred_a
and predobj = pred * object_ list
type subject =
  1. | Sub_iri of iri
  2. | Sub_blank of blank
type statement =
  1. | Directive of directive
  2. | Triples of subject * predobj list
type turtle = statement list