static void RegisterModelTypeSorts(InterpretationContext context)
{
// TODO: implement
throw new NotImplementedException(context.ToString());
//// Only include sorts for types attributed with a matching model program
//// name, or not attributed with any model program name. (Some types are private
//// to a particular model program; some types are shared by all model programs in the assembly.)
//if ((modelClassName != null || !hasName) && !ReflectionHelper.IsCompilerGenerated(t))
//{
// Symbol sort = AbstractValue.TypeSort(t);
// context.RegisterSortType(sort, t);
//}
}
