search for: my_signature

..., for derived types, this can be quite complicated. It isn't always possible to know the exact type. In XPL, types are just names. That is there's no such thing as a type expression. The name of the type _is_ the expression. So, in XPL, we declare something like: <Signature name="My_Signature" result="void"></Signature> (that's a signature type, or FunctionType in LLVM speak, that has no arguments and returns nothing). Now, we define a function like this: <Function name="My_Function" signature="My_Signature"> ... </Function>...