module CX: sig .. end
sig
end
include Sig.X
val set_arith_active : bool -> unit
bool -> unit
val set_sum_active : bool -> unit