webppl-timeit (npm): Measure execution time of webppl functions
Keywords: timing|webppl