Function parameters_of 

pub fn parameters_of(program: &Program) -> Parameters

The parameters and properties of program, as its steps define them (see crate::parameters::steps): its tables, as its LookupTable steps look them up, after its numbers — none, where it has no such step.