Prelude-v23.0.0
Switch Light/Dark Mode
/
Prelude-v23.0.0
/
DirectoryTree
/
User
/
Type.dhall
Copy path to clipboard
Source
< UserId : Natural | UserName : Text >
