module Pragma: StringSet(sigval option_name : stringval arg_name : stringval kind : [> `Correctness ]val help : stringend)
StringSet
(
sig
val option_name : string
string
val arg_name : string
val kind : [> `Correctness ]
[> `Correctness ]
val help : string
end
)