Module Core.C2Codex

module VarMap : sig ... end
module StringMap : Stdlib.Map.S with type key = string
module type CallingContext = Datatype_sig.S