Function valType

src/dyno/value.ts:19–25

(val: DynoVal<T>)

export type DynoVal<T extends DynoType> = DynoValue<T> | HasDynoOut<T>;

export function valType<T extends DynoType>(val: DynoVal<T>): T {
  if (val instanceof DynoValue) {
    return val.type;
  }
  const value = val.dynoOut();
  return value.type;
}

export interface HasDynoOut<T extends DynoType> {
  dynoOut(): DynoValue<T>;