package rdf

  1. Overview
  2. Docs
type g
type term
val term : Term.term -> term
val compare : term -> term -> int
val rdfterm : term -> Term.term
val subjects : unit -> term list
val objects : unit -> term list
val find : ?sub:term -> ?pred:term -> ?obj:term -> unit -> (term * term * term) list