Idris2Doc : Data.Enumerate.Common

Data.Enumerate.Common(source)

Definitions

prodWith : (a->b->c) ->Lista->Listb->Listc
Totality: total
Visibility: export