Function interactive_module_define_fpmodule 

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