Flags.print_equality_axioms

let print_equality_axioms (flags: flags) = get_flag_bool flags.flags FL_PrintEqualityAxioms