Apply this inox.ast.Definitions.TypedFunDef on its formal parameters
Apply this inox.ast.Definitions.TypedFunDef on its formal parameters
Apply this inox.ast.Definitions.TypedFunDef on specified arguments
The flags of the respective FunDef instantiated with the real type parameters
The flags of the respective FunDef instantiated with the real type parameters
The body of the respective FunDef instantiated with the real type parameters
The body of the respective FunDef instantiated with the real type parameters
The function type corresponding to this TypedFunDef's arguments and return type
The function type corresponding to this TypedFunDef's arguments and return type
A Flag instantiated with this TypedFunDef's type instantiation
A Expr instantiated with this TypedFunDef's type instantiation
A Type instantiated with this TypedFunDef's type instantiation
A mapping from this TypedFunDef's formal parameters to real arguments
A mapping from this TypedFunDef's formal parameters to real arguments
The arguments to which the formal arguments are mapped
The paremeters of the respective FunDef instantiated with the real type parameters
The paremeters of the respective FunDef instantiated with the real type parameters
The return type of the respective FunDef instantiated with the real type parameters
The return type of the respective FunDef instantiated with the real type parameters
Substitute this TypedFunDef's formal parameters with real arguments in some expression
Substitute this TypedFunDef's formal parameters with real arguments in some expression
The arguments to which the formal argumentas are mapped
The expression in which the substitution will take place
Represents a FunDef whose type parameters have been instantiated with the specified types