Module Pkcs11.Nss_initialize_argSource

Sourcetype _ck_nss_c_initialize_args
Sourcetype u = string

Only support setting LibraryParameters from the uninitialized type. The format for these strings is defined in the Softtoken Specific Parameters section of https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/PKCS11/Module_Specs

Sourceval make : u -> t