core / org.pinelang.core / PineInt / div
fun div(other:PineExpr<*>):PineInt
fun div(other:
PineExpr
<*>):
PineInt