284 (@{const_name "Groups.one_class.one"}, @{typ "prop => prop => prop"}), |
284 (@{const_name "Groups.one_class.one"}, @{typ "prop => prop => prop"}), |
285 (@{const_name "Groups.plus_class.plus"}, @{typ "prop => prop => prop"}), |
285 (@{const_name "Groups.plus_class.plus"}, @{typ "prop => prop => prop"}), |
286 (@{const_name "Groups.minus_class.minus"}, @{typ "prop => prop => prop"}), |
286 (@{const_name "Groups.minus_class.minus"}, @{typ "prop => prop => prop"}), |
287 (@{const_name "Groups.times_class.times"}, @{typ "prop => prop => prop"}), |
287 (@{const_name "Groups.times_class.times"}, @{typ "prop => prop => prop"}), |
288 (@{const_name "Fields.inverse_class.divide"}, @{typ "prop => prop => prop"}), |
288 (@{const_name "Fields.inverse_class.divide"}, @{typ "prop => prop => prop"}), |
289 (@{const_name "Lattices.semilattice_inf_class.inf"}, @{typ "prop => prop => prop"}), |
289 (@{const_name "Lattices.inf_class.inf"}, @{typ "prop => prop => prop"}), |
290 (@{const_name "Lattices.semilattice_sup_class.sup"}, @{typ "prop => prop => prop"}), |
290 (@{const_name "Lattices.sup_class.sup"}, @{typ "prop => prop => prop"}), |
291 (@{const_name "Orderings.bot_class.bot"}, @{typ "prop => prop => prop"}), |
291 (@{const_name "Orderings.bot_class.bot"}, @{typ "prop => prop => prop"}), |
292 (@{const_name "Orderings.ord_class.min"}, @{typ "prop => prop => prop"}), |
292 (@{const_name "Orderings.ord_class.min"}, @{typ "prop => prop => prop"}), |
293 (@{const_name "Orderings.ord_class.max"}, @{typ "prop => prop => prop"}), |
293 (@{const_name "Orderings.ord_class.max"}, @{typ "prop => prop => prop"}), |
294 (@{const_name "Divides.div_class.mod"}, @{typ "prop => prop => prop"}), |
294 (@{const_name "Divides.div_class.mod"}, @{typ "prop => prop => prop"}), |
295 (@{const_name "Divides.div_class.div"}, @{typ "prop => prop => prop"}), |
295 (@{const_name "Divides.div_class.div"}, @{typ "prop => prop => prop"}), |