module SepRegions: True(sigval option_name : stringval module_name : stringval descr : stringend)
True
(
sig
val option_name : string
string
val module_name : string
val descr : string
end
)