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; }