module IntModel:IndexedVal
(
sig
typet =
Jessie_options.int_model
val default_val :Jessie_options.int_model
val default_key :string
val option_name :string
val arg_name :string
val descr :string
val module_name :string
val ty :Jessie_options.int_model Type.t
end
)