Flags.print_derivation_online

let print_derivation_online (flags: flags) = get_flag_bool flags.flags FL_PrintDerivationOnline