# rng.rl

## Class RNG

### Fields
- `Int[4] s`

### Methods
- **Function**: `randint(Int min, Int max)  -> Int`
- **Function**: `set_seed(Int new_seed) `
- **Function**: `next()  -> Int`

## Actions

- **Action**: `configure_rng() -> ConfigureRNG`
  - **Action Statement**: `set_rng_bit(Bool bit)`

## Free Functions

- **Function**: `make_rng(Int seed)  -> RNG`
- **Function**: `size_as_observation_tensor(RNG obj)  -> Int`
- **Function**: `size_as_observation_tensor(ConfigureRNG obj)  -> Int`
- **Function**: `write_in_observation_tensor(RNG obj, Int observer_id, Vector<Float> output, Int counter) `
- **Function**: `write_in_observation_tensor(ConfigureRNG obj, Int observer_id, Vector<Float> output, Int counter) `