diff options
Diffstat (limited to 'licentia/source/program/licentia/license.lux')
-rw-r--r-- | licentia/source/program/licentia/license.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index b9280bd5f..6541bf103 100644 --- a/licentia/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -5,63 +5,63 @@ [time (.only Days Months Period)] ["[1][0]" copyright]]) -(type: .public Identification +(type .public Identification (Record [#name Text #version Text])) -(type: .public Termination +(type .public Termination (Record [#patent_retaliation? Bit #termination_period Days #grace_period Days])) -(type: .public Liability +(type .public Liability (Record [#can_accept? Bit #disclaim_high_risk? Bit])) -(type: .public Distribution +(type .public Distribution (Record [#can_re_license? Bit #can_multi_license? Bit])) -(type: .public Commercial +(type .public Commercial (Record [#can_sell? Bit #require_contributor_credit? Bit #allow_contributor_endorsement? Bit])) -(type: .public Extension +(type .public Extension (Record [#same_license? Bit #must_be_distinguishable? Bit #notification_period (Maybe (Period Months)) #must_describe_modifications? Bit])) -(type: .public Entity +(type .public Entity Text) -(type: .public Black_List +(type .public Black_List (Record [#justification (Maybe Text) #entities (List Entity)])) -(type: .public URL +(type .public URL Text) -(type: .public Attribution +(type .public Attribution (Record [#copyright_notice Text #phrase (Maybe Text) #url URL #image (Maybe URL)])) -(type: .public Addendum +(type .public Addendum (Record [#commons_clause? Bit])) -(type: .public License +(type .public License (Record [#copyright_holders (List /copyright.Holder) #identification (Maybe Identification) |