public static IPrtValue PrtCastValue(IPrtValue value, PrtType type)
{
//todo: Needs to be fixed for better error message
/*if (!PrtInhabitsType(value, type))
* throw new PrtInhabitsTypeException(
* $"value {value.ToString()} is not a member of type {type.ToString()}");*/
return(value.Clone());
}
public PrtSetType(PrtType s)
{
elemType = s;
}
public PrtMapType(PrtType k, PrtType v)
{
keyType = k;
valType = v;
}