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