224     let cliSupported = def  function
232         params = (cli { clientSupported = cliSupported }
240     let cliSupported = def  function
248         params = (cli { clientSupported = cliSupported }
256     let cliSupported = def  function
264         params0 = (cli { clientSupported = cliSupported }
285     let cliSupported = def  function
295         params0 = (cli { clientSupported = cliSupported }
323     let cliSupported = def  function
337         params0 = (cli { clientSupported = cliSupported
366     let cliSupported = def  function
374         params0 = (cli { clientSupported = cliSupported }
410     let cliSupported = def  function
418         params0 = (cli { clientSupported = cliSupported }
443     let cliSupported = (clientSupported cli) { supportedGroups = [P256,X25519] }  function
445         params = (cli { clientSupported = cliSupported }