Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Notation app_nil_end is deprecated since 8.18.

Notation app_nil_end is deprecated since 8.18.

Notation app_nil_end is deprecated since 8.18.

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Projection value has no head constant:

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_ora_mixin by ora_mixin in

Ignoring canonical projection to discrete_cmra_mixin by

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Projection value has no head constant:

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_ora_mixin by ora_mixin in

Ignoring canonical projection to discrete_cmra_mixin by

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Projection value has no head constant:

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_ora_mixin by ora_mixin in

Ignoring canonical projection to discrete_cmra_mixin by

Ignoring canonical projection to discrete_ofe_mixin by ora_ofe_mixin

Ignoring canonical projection to discrete_orderN by ora_orderN in

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Projection value has no head constant:

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_orderN by ora_orderN in

Ignoring canonical projection to discrete_orderN by uora_orderN in

Ignoring canonical projection to discrete_ora_mixin by ora_mixin in

Ignoring canonical projection to discrete_cmra_mixin by

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ ~~> _" was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ ~~> _" was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ ~~> _" was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Hiding binding of key URF to urFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ ~~> _" was already used.

Notation "_ ~~> _" was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Notation app_length is deprecated since 8.20.

Notation app_length is deprecated since 8.20.

Notation app_length is deprecated since 8.20.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "_ ~~> _" was already used.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to orarFunctor_scope

Hiding binding of key URF to uorarFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "□" in custom dfrac was already used.

Notation "{# _ }" in custom dfrac was already used.

Notation "" in custom dfrac was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Tactic Notation revert dependent (hyp) is deprecated since 8.18.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Notation map_length is deprecated since 8.20.

Notation map_length is deprecated since 8.20.

Notation map_length is deprecated since 8.20.

Notation map_length is deprecated since 8.20.

Notation map_length is deprecated since 8.20.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "□" in custom dfrac was already used.

Notation "{# _ }" in custom dfrac was already used.

Notation "" in custom dfrac was already used.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.

Notation "_ ~~> _" was already used.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Tactic Notation revert dependent (hyp) is deprecated since 8.18.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Custom entry dfrac has been overridden.

Notation "□" in custom dfrac was already used.

Notation "{# _ }" in custom dfrac was already used.

Notation "" in custom dfrac was already used.

Notation "_ ⋅? _" was already used in scope stdpp_scope.

Hiding binding of key RF to rFunctor_scope

Hiding binding of key URF to urFunctor_scope

Notation "_ * _" was already used in scope rFunctor_scope.

Notation "_ * _" was already used in scope urFunctor_scope.