    import ceylon.language.meta.declaration {
        FunctionDeclaration,
        TypeParameter
    }
    import ceylon.language.meta.model {
        ClosedType = Type
    }

    """A function model represents the model of a Ceylon function that you can inspect.

       A function model can be either a toplevel [[Function]] or a member [[Method]].
     """
    shared sealed interface FunctionModel<out Type=Anything, in Arguments=Nothing>
            satisfies Model & Generic
            given Arguments satisfies Anything[] {

        "This function's declaration."
        shared formal actual FunctionDeclaration declaration;

        "This function's return closed type."
        shared formal ClosedType<Type> type;

        "This function's parameter closed types"
        shared formal ClosedType<Anything>[] parameterTypes;
    }