add player_attacked datatype to player record, and refactor

This commit is contained in:
2024-12-20 07:38:54 +00:00
parent 58f552b38b
commit 71e62a101d

View File

@@ -15,7 +15,10 @@ sig
datatype player_recoil = NO_RECOIL | RECOIL_LEFT of int | RECOIL_RIGHT of int
datatype player_attacked = NOT_ATTACKED | ATTACKED of int
[main 58f552b] add player_attacked datatype to player record, and refactor
2 files changed, 138 insertions(+), 42 deletions(-)
To https://github.com/hummy123/quad-tree-sml.git
fec4d99..58f552b main -> main
type player =
{ yAxis: player_y_axis