val env_tag : env -> Weakhtbl.tagmodule Wenv : sig ... endval base_language : Theory.theory Wstdlib.Mstr.t languageval base_language_builtin : pathname -> Theory.theory Wstdlib.Mstr.ttype !'a format_parser = env -> pathname -> filename -> in_channel -> 'aexception KnownFormat of fformatval register_format :
desc:Pp.formatted ->
'a language ->
fformat ->
extension list ->
'a format_parser ->
unitval list_formats :
'a language ->
(fformat * extension list * Pp.formatted) listexception InvalidFormat of fformatexception UnknownFormat of fformatexception UnknownExtension of extensionval read_channel :
?format:fformat ->
'a language ->
env ->
filename ->
in_channel ->
'aexception LibraryNotFound of pathnameexception LibraryConflict of pathnameexception TheoryNotFound of pathname * stringval read_theory : env -> pathname -> string -> Theory.theory