Module `Core.C2Codex`

module VarMap : sig ... end

module StringMap : Stdlib.Map.S with type key = string

module type CallingContext = sig ... end

module Make
  (CallingContext : CallingContext)
  (Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types) : 
  sig ... end

Module Core.C2Codex