Module Bigint_scalar.Checked

module Assert : sig ... end