| /dports/lang/racket/racket-8.3/share/pkgs/option-contract-doc/scribblings/ |
| H A D | option-contract.scrbl | 30 When an @racket[option/c] contract is attached to a value, the value is checked against the
35 If @racket[waive-option] is applied to a value guarded by an @racket[option/c]
48 is a predicate. In any other case, the result is a contract error.
139 @defproc[(waive-option [x any/c]) any/c]{
141 If an @racket[option/c] guards @racket[x], then @racket[waive-option] returns
143 In any other case it returns @racket[x]. The result of @racket[waive-option]
153 (define e-bar (waive-option bar))
155 ((waive-option e-bar) 'wrong)]
168 using @racket[tweak-option], @racket[exercise-option] or @racket[waive-option].
180 ((waive-option t-bar) 'wrong)
[all …]
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/krb5-src-0.2.4+1.18.2/krb5/src/lib/krb5/rcache/ |
| H A D | RELEASE | 10 I hereby waive copyright upon rcshar. rcshar is hereby public domain.
12 I hereby also waive copyright upon any works that are (1) derived from
|
| /dports/security/krb5/krb5-1.19.2/src/lib/krb5/rcache/ |
| H A D | RELEASE | 10 I hereby waive copyright upon rcshar. rcshar is hereby public domain.
12 I hereby also waive copyright upon any works that are (1) derived from
|
| /dports/converters/p5-LaTeXML/LaTeXML-0.8.6/ |
| H A D | LICENSE | 6 Code, this software is not subject to copyright protection in the U.S.
7 and is in the public domain.
11 States, the authors hereby waive those copyright protections and dedicate
17 public domain is compatible with GPL.
19 We would appreciate acknowledgement if the software is used.
26 you are the copyright holder of the material or that it is in the public domain;
27 it does not contain any patented material; and that you waive any copyright
31 LaTeXML is an experimental system provided by NIST as a public service.
33 The software is expressly provided "AS IS." NIST makes NO warranty of
49 interruption of operation. This software is not intended to be used in
|
| /dports/science/grib_api/grib_api-1.28.0-Source/definitions/grib2/ |
| H A D | template.4.40033.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
11 # This is deprecated and only included for backward compatibility, use template 4.33
|
| H A D | template.4.40034.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
11 # This is deprecated and only included for backward compatibility, use template 4.34
|
| H A D | template.5.40000.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.4.2000.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.5.40010.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.7.40000.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.7.40010.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.3.50.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.1.0.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.1.1.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | template.4.percentile.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | local.98.24.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | products_4.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | products_6.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | products_5.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| /dports/www/gitea/gitea-1.16.5/options/license/ |
| H A D | ADSL | 1 …is made available "AS IS" without warranties of any kind. You may copy, display, modify and redist…
|
| /dports/science/grib_api/grib_api-1.28.0-Source/definitions/grib1/ |
| H A D | section.0.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | mars_labeling.23.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | local.253.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| H A D | local.254.def | 3 # This software is licensed under the terms of the Apache Licence Version 2.0
6 # In applying this licence, ECMWF does not waive the privileges and immunities granted to it by
|
| /dports/misc/libemos/libemos-4.5.9-Source/gribex/ |
| H A D | ecdef3.h | 4 C This software is licensed under the terms of the Apache Licence
7 C In applying this licence, ECMWF does not waive the privileges and immunities
26 C 0 = value is pixel value
27 C 1 = value is temperatures in degrees K,
28 C and is 145 + pixel value.
|