Library splittable_random

The entry point for this library is module Splittable_random.