ruby/python: more consistent naming of parameters

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-14 21:02:42 +02:00
parent af72509ce6
commit 0e713e6fc1
2 changed files with 8 additions and 6 deletions

View File

@@ -50,7 +50,7 @@ signature module Input {
/**
* Gets the stack obtained by pushing `head` onto `tail`.
*/
SummaryComponentStack push(SummaryComponent component, SummaryComponentStack stack);
SummaryComponentStack push(SummaryComponent head, SummaryComponentStack tail);
/** Gets a singleton stack representing a return. */
SummaryComponent return();