Div (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Div)

val edivn_rec : 
  Datatypes.nat ->
  Datatypes.nat ->
  Datatypes.nat ->
  Datatypes.nat * Datatypes.nat

val edivn : Datatypes.nat -> Datatypes.nat -> Datatypes.nat * Datatypes.nat

val divn : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val modn_rec : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val modn : Datatypes.nat -> Datatypes.nat -> Datatypes.nat