From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 licentia/source/test/licentia.lux | 48 +++++++++++++++++++--------------------
 1 file changed, 24 insertions(+), 24 deletions(-)

(limited to 'licentia/source/test/licentia.lux')

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index a76149e42..c063260ae 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -44,7 +44,7 @@
    ["[0]" black_list]
    ["[0]" addendum]]])
 
-(def: period
+(def period
   (Random (Period Nat))
   (do [! random.monad]
     [start (random.filter (|>> (n.= n#top) not)
@@ -56,45 +56,45 @@
     (wrap [time.#start start
            time.#end end])))
 
-(def: copyright_holder
+(def copyright_holder
   (Random copyright.Holder)
   (all random.and
        (random.ascii 10)
        ..period))
 
-(def: identification
+(def identification
   (Random Identification)
   (all random.and
        (random.ascii 10)
        (random.ascii 10)))
 
-(def: termination
+(def termination
   (Random Termination)
   (all random.and
        random.bit
        random.nat
        random.nat))
 
-(def: liability
+(def liability
   (Random Liability)
   (all random.and
        random.bit
        random.bit))
 
-(def: distribution
+(def distribution
   (Random Distribution)
   (all random.and
        random.bit
        random.bit))
 
-(def: commercial
+(def commercial
   (Random Commercial)
   (all random.and
        random.bit
        random.bit
        random.bit))
 
-(def: extension
+(def extension
   (Random Extension)
   (all random.and
        random.bit
@@ -102,28 +102,28 @@
        (random.maybe ..period)
        random.bit))
 
-(def: entity
+(def entity
   (Random Entity)
   (random.ascii 10))
 
-(def: (variable_list max_size gen_element)
+(def (variable_list max_size gen_element)
   (All (_ a) (-> Nat (Random a) (Random (List a))))
   (do [! random.monad]
     [amount (at ! each (n.% (n.max 1 max_size))
                 random.nat)]
     (random.list amount gen_element)))
 
-(def: black_list
+(def black_list
   (Random Black_List)
   (all random.and
        (random.maybe (random.ascii 10))
        (variable_list 10 ..entity)))
 
-(def: url
+(def url
   (Random URL)
   (random.ascii 10))
 
-(def: attribution
+(def attribution
   (Random Attribution)
   (all random.and
        (random.ascii 10)
@@ -131,13 +131,13 @@
        ..url
        (random.maybe ..url)))
 
-(def: addendum
+(def addendum
   (Random Addendum)
   (all random.and
        random.bit
        ))
 
-(def: license
+(def license
   (Random License)
   (all random.and
        (random.list 2 ..copyright_holder)
@@ -155,7 +155,7 @@
 (type: (Concern a)
   (-> (-> Text Bit) a Test))
 
-(def: (about_grant present? termination)
+(def (about_grant present? termination)
   (Concern Termination)
   (all _.and
        (_.property "Copyright grant is present."
@@ -175,7 +175,7 @@
          (present? grant.no_retroactive_termination))
        ))
 
-(def: (about_liability present? liability)
+(def (about_liability present? liability)
   (Concern Liability)
   (all _.and
        (_.property "Warranty liability disclaimer is present."
@@ -192,7 +192,7 @@
                 (present? liability.disclaim_high_risk)))
        ))
 
-(def: (about_distribution present? distribution)
+(def (about_distribution present? distribution)
   (Concern Distribution)
   (all _.and
        (_.property "Conditions for source-code distribution are present."
@@ -203,7 +203,7 @@
          (present? (distribution.extension distribution)))
        ))
 
-(def: (about_commercial present? commercial)
+(def (about_commercial present? commercial)
   (Concern Commercial)
   (all _.and
        (_.property "Non-commercial clause is present."
@@ -217,7 +217,7 @@
                 (present? commercial.disallow_contributor_endorsement)))
        ))
 
-(def: (about_extension present? extension)
+(def (about_extension present? extension)
   (Concern Extension)
   (all _.and
        (_.property "The license is viral."
@@ -239,7 +239,7 @@
                 (present? extension.description_requirement)))
        ))
 
-(def: (about_attribution present? attribution)
+(def (about_attribution present? attribution)
   (Concern Attribution)
   (all _.and
        (_.property "The attribution copyright notice is present."
@@ -258,7 +258,7 @@
              (maybe.default true)))
        ))
 
-(def: (about_miscellaneous present?)
+(def (about_miscellaneous present?)
   (-> (-> Text Bit) Test)
   (all _.and
        (_.property "License constitutes the entire agreement."
@@ -275,7 +275,7 @@
          (present? miscellaneous.export_restrictions))
        ))
 
-(def: (about_addendum present? value)
+(def (about_addendum present? value)
   (Concern Addendum)
   (all _.and
        (_.property "Commons clause"
@@ -283,7 +283,7 @@
                 (present? addendum.commons_clause)))
        ))
 
-(def: test
+(def test
   Test
   (do random.monad
     [license ..license
-- 
cgit v1.2.3