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