(.module:
  [lux #*]
  ["." / #_
   [time (#+ Days Months Period)]
   ["#." copyright]])

(type: #export Identification
  {#name Text
   #version Text})

(type: #export Termination
  {#patent-retaliation? Bit
   #termination-period Days
   #grace-period Days})

(type: #export Liability
  {#can-accept? Bit
   #disclaim-high-risk? Bit})

(type: #export Distribution
  {#can-re-license? Bit
   #can-multi-license? Bit})

(type: #export Commercial
  {#can-sell? Bit
   #require-contributor-credit? Bit
   #allow-contributor-endorsement? Bit})

(type: #export Extension
  {#same-license? Bit
   #must-be-distinguishable? Bit
   #notification-period (Maybe (Period Months))
   #must-describe-modifications? Bit})

(type: #export Entity Text)

(type: #export Black-List
  {#justification (Maybe Text)
   #entities (List Entity)})

(type: #export URL Text)

(type: #export Attribution
  {#copyright-notice Text
   #phrase (Maybe Text)
   #url URL
   #image (Maybe URL)})

(type: #export Addendum
  {#commons-clause? Bit})

(type: #export License
  {#copyright-holders (List /copyright.Holder)
   #identification (Maybe Identification)
   #termination Termination
   #liability Liability
   #distribution Distribution
   #commercial Commercial
   #extension Extension
   #black-lists (List Black-List)
   #attribution (Maybe Attribution)
   #addendum Addendum})