Module Mirage_impl_random

type random
val random : random Functoria.typ
val default_random : random Functoria.impl