val predicates : string list 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