Deploying to gh-pages from @ ba8876c 🚀

typecheck.time

@@ -1,31 +1,31 @@
-TOTAL: 2m10s
-BitML/BasicTypes: 0m11s
+TOTAL: 2m19s
+BitML/BasicTypes: 0m12s
 BitML/Predicate: 0m1s
 BitML/Contracts/Types: 0m2s
 BitML/Contracts/Induction: 0m2s
-BitML/Contracts/Collections: 0m6s
+BitML/Contracts/Collections: 0m7s
 BitML/Contracts/Validity: 0m1s
-BitML/Contracts/ModuleMacros: 0m0s
+BitML/Contracts/ModuleMacros: 0m1s
 BitML/Contracts/Subterms: 0m2s
 BitML/Contracts: 0m0s
 BitML/Example/Contracts: 0m2s
-BitML/Semantics/Action: 0m2s
+BitML/Semantics/Action: 0m3s
 BitML/Semantics/Configurations/Types: 0m4s
 BitML/Semantics/Configurations/Helpers: 0m9s
-BitML/Semantics/Label: 0m11s
-BitML/Semantics/Predicate: 0m1s
-BitML/Semantics/InferenceRules: 0m1s
-BitML/Semantics/RuleMatching: 0m7s
-BitML/Semantics/DecidableInference: 0m3s
+BitML/Semantics/Label: 0m13s
+BitML/Semantics/Predicate: 0m0s
+BitML/Semantics/InferenceRules: 0m2s
+BitML/Semantics/RuleMatching: 0m6s
+BitML/Semantics/DecidableInference: 0m4s
 BitML/Semantics: 0m1s
 BitML/Example/TimedCommitment: 0m5s
-BitML/Properties/Helpers: 0m6s
+BitML/Properties/Helpers: 0m7s
 BitML/Properties/TraceAd: 0m5s
 BitML/Properties/TraceAuthCommit: 0m7s
-BitML/Properties/TraceAuthInit: 0m6s
+BitML/Properties/TraceAuthInit: 0m7s
 BitML/Properties/TraceInit: 0m8s
 BitML/Properties/TraceAuthControl: 0m7s
 BitML/Properties/Lifetime: 0m1s
-BitML/Properties/TraceContract: 0m11s
+BitML/Properties/TraceContract: 0m12s
 BitML/Properties: 0m1s
 BitML: 0m0s