@@ -14,7 +14,7 @@ namespace Integer
1414 Divides ((d * div) + rem) d
1515
1616 ||| Covering function for the `Divides` view
17− export
17+ public export
1818 divides : (val : Integer) -> (d : Integer) -> Divides val d
1919 divides val 0 = DivByZero
2020 divides val d
@@ -51,7 +51,7 @@ namespace Int
5151 -- TODO: Someone please check this and fix if necessary...
5252
5353 ||| Covering function for the `Divides` view
54− export
54+ public export
5555 divides : (val : Int) -> (d : Int) -> Divides val d
5656 divides val 0 = DivByZero
5757 divides val d