Re-remove divFloor

This commit is contained in:
Richard Feldman 2022-04-23 16:12:11 -04:00
parent 122a1d57a0
commit 95ca4d48e5
No known key found for this signature in database
GPG Key ID: 7E4127D1E4241798

View File

@ -252,9 +252,6 @@ divChecked : Float a, Float a -> Result (Float a) [ DivByZero ]*
divCeil : Int a, Int a -> Int a
divCeilChecked : Int a, Int a -> Result (Int a) [ DivByZero ]*
divFloor : Int a, Int a -> Int a
divFloorChecked : Int a, Int a -> Result (Int a) [ DivByZero ]*
divTrunc : Int a, Int a -> Int a
divTruncChecked : Int a, Int a -> Result (Int a) [ DivByZero ]*