Function interactive_module_define_fdmodule 

pub fn interactive_module_define_fdmodule(
    output_json: &mut Value,
    p: ValidPrime,
) -> Result<()>