module Rmcast_stat: sig .. end
sig
end
module StatInfo: Rmcast_stat_sig.StatInfoSig
Rmcast_stat_sig.StatInfoSig