pub unsafe extern "C" fn lean_apply_15(
f: *mut lean_object,
a1: *mut lean_object,
a2: *mut lean_object,
a3: *mut lean_object,
a4: *mut lean_object,
a5: *mut lean_object,
a6: *mut lean_object,
a7: *mut lean_object,
a8: *mut lean_object,
a9: *mut lean_object,
a10: *mut lean_object,
a11: *mut lean_object,
a12: *mut lean_object,
a13: *mut lean_object,
a14: *mut lean_object,
a15: *mut lean_object,
) -> *mut lean_object