module P: Sparecode_params
Sparecode_params
include struct ... end
module Analysis: False(sigval option_name : stringval help : stringval kind : [> `Tuning ]end)
False
(
sig
val option_name : string
string
val help : string
val kind : [> `Tuning ]
[> `Tuning ]
end
)
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)