Core.C2Codex
module VarMap : sig ... end
module StringMap : Stdlib.Map.S with type key = string
module type CallingContext = Datatype_sig.S
module Make (CallingContext : CallingContext) (Domain : Codex.Domains.With_focusing.S_with_types) : sig ... end