sig
  val predicates : string list Pervasives.ref
  val add_predicates : string list -> unit
  val syntax : string -> unit
  val standard_syntax : unit -> unit
  val revised_syntax : unit -> unit
  val don't_load : string list -> unit
  val don't_load_deeply : string list -> unit
  val load : string list -> unit
  val load_deeply : string list -> unit
  val reset : unit -> unit
  val announce : unit -> unit
end

This web site is published by Informatikbüro Gerd Stolpmann