public override string GetString()
{
return(String.Format("({0} -> {1})", keyType.GetString(), valType.GetString()));
}
public override string GetString()
{
return(String.Format("seq[{0}]", elemType.GetString()));
}
public static PrtValue PrtCastValue(PrtValue value, PrtType type)
{
if (!PrtInhabitsType(value, type))
{
throw new PrtInhabitsTypeException(String.Format("value {0} is not a member of type {1}", value.GetString(), type.GetString()));
}
return(value.Clone());
}