Module Core.Codex_register

module Domain_sig = Codex.Domains.Domain_sig
val abstract_domain : 'a -> (module Codex.Domains.Domain_sig.Base)
val init_codex_library : unit -> unit
module Stuff_for_WSD : sig ... end
val build_domain : use_type_domain:bool -> (module Codex.Domains.With_focusing.S_with_types)
val run : unit -> unit