Operator.Flags
module Bimul : sig ... end
module Bshl : module type of Bimul
module Biadd : sig ... end
module Bisub = Biadd