// Function that returns a floating point number x such that 0 <= x < 1 export type RandomFunction = () => number export function forbidRandomness(): number { throw Error('bad random') }