type InputChoice = enumeration(dT "(d,T) as inputs", hs "(h,s) as inputs", ph "(p,h) as inputs", ps "(p,s) as inputs", pT "(p,T) as inputs");