let
mk_eq_record_bool =
"eq_struct_bool"