5 lines
116 B
Text
5 lines
116 B
Text
@[extern "my_add"]
|
|
opaque myAdd : UInt32 → UInt32 → UInt32
|
|
|
|
@[extern "my_lean_fun"]
|
|
opaque myLeanFun : IO PUnit
|