Gitly


1 module mod1
2 
3 pub fn function() ! {
4     callback_consumer(callback_fn)!
5 }
6 
7 type CallbackType = fn () ![4]u8
8 
9 fn callback_consumer(callback CallbackType) ! {
10     callback()!
11 }
12 
13 fn callback_fn() ![4]u8 {
14     return [u8(1), 2, 3, 255]!
15 }
16

1	module mod1
2
3	pub fn function() ! {
4	callback_consumer(callback_fn)!
5	}
6
7	type CallbackType = fn () ![4]u8
8
9	fn callback_consumer(callback CallbackType) ! {
10	callback()!
11	}
12
13	fn callback_fn() ![4]u8 {
14	return [u8(1), 2, 3, 255]!
15	}
16