Plasma GitLab Archive
Projects Blog Knowledge

sig
  val predicates : string list Stdlib.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
  val log : (string -> unit) Stdlib.ref
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml