Theory.Documentation
Documents all declared theories.
module Theory : sig ... end
Theory documentation.
val theories : unit -> Theory.t list
theories () the declared theories.
theories ()