diff options
author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/program/aedifex/repository/identity.lux | |
parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository/identity.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 4f5733651..348a3fc46 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -11,13 +11,13 @@ [encoding ["[0]" utf8]]]]]]) -(type: .public User +(type .public User Text) -(type: .public Password +(type .public Password Text) -(type: .public Identity +(type .public Identity (Record [#user User #password Password])) |