a bit of refactoring and clearer naming

2025-01-12 21:59:33 +00:00
parent 442c489af7
commit 8052ad53f7
4 changed files with 105 additions and 101 deletions
--- a/fcore/player-patch.sml
+++ b/fcore/player-patch.sml
@@ -15,6 +15,7 @@ sig
  | W_CHARGE of int
  | W_PROJECTILES of GameType.player_projectile vector

+  val withPatch: GameType.player * player_patch -> GameType.player
  val withPatches: GameType.player * player_patch list -> GameType.player
 end