partial function getReal extends Interfaces.partialGetReal; input Types.ExternJSONFile json "External JSON file object"; end getReal;