seed

dolfin.cpp.function.seed(s: 'std::size_t') → 'void'

Seed random number generator