Skip to main content

include/girard@types_Fn.hrl 

-record(fn, {
    arguments :: list(girard@types:type()),
    return :: girard@types:type()
}).