Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Library Stdlib.Numbers.Cyclic.Abstract.CarryType
Set Implicit Arguments
.
#[
universes
(
template
)]
Variant
carry
(
A
:
Type
) :=
|
C0
:
A
->
carry
A
|
C1
:
A
->
carry
A
.
Navigation
Standard Library
Table of contents
Index