Astral_internal.ID_sig
type instance = SL.Term.t list * MemoryModel.StructDef.t list
module type BUILTIN_BASE = sig ... end
module type BUILTIN = sig ... end