module Sparecode_params: sig .. end
sig
end
include struct ... end
module Analysis: False(sigval option_name : stringval help : stringval kind : [> `Tuning ]end)
False
(
val option_name : string
string
val help : string
val kind : [> `Tuning ]
[> `Tuning ]
)
module Annot: True(sigval option_name : stringval help : stringval kind : [> `Correctness ]end)
True
val kind : [> `Correctness ]
[> `Correctness ]
module GlobDecl: False(sigval option_name : stringval help : stringval kind : [> `Correctness ]end)