Core.Codex_register
module Domain_sig = Codex.Domains.Domain_sig
module FramaC_Log : Codex.Codex_log.S
val abstract_domain : 'a -> (module Codex.Domains.Domain_sig.Base)
module Stuff_for_WSD : sig ... end
val build_domain :
use_type_domain:bool ->
(module Codex.Domains.With_focusing.S_with_types)