module Stdlib.Trait.DivMod;

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

open DivMod public;