Structure of a scenario

A scenario in Mitten is represented by values of the following scenario type:

#![allow(unused)]
fn main() {
type scenario = {
  nodes : node list;
  parameters : sandbox_param;
  constraints : var_constraint list;
  code : step;
  timeout : float option;
}
}