module Stdlib.Trait.DivMod;

trait
type DivMod A :=
  mkDivMod {
    div : A -> A -> A;
    mod : A -> A -> A
  };

open DivMod public;
Last modified on 2024-07-11 16:35 UTC