Skip to main content

Module buddy

lean_ctx::core

Module buddy 

Source

Structs§

BuddyState
BuddyStats
CreatureTraits

Enums§

Mood
Rarity
Species

Functions§

format_buddy_block
format_buddy_block_at
format_buddy_full
render_sprite