Module Scalar_intf.Checked

val equal : var -> var -> ( boolean_var, _ ) checked
module Assert : sig ... end