1 2 3 4 5 6 7 8 9
#include "CWayland.h" #include <wayland-client.h> lean_obj_res lean_test_answer() { struct wl_display* disp = wl_display_connect(NULL); wl_fixed_t fixed = wl_fixed_from_double(42.0); return lean_io_result_mk_ok(lean_int_to_int(wl_fixed_to_int(fixed))); }