module
Stdlib
.
Data
.
Nat
.
Base
;
import
Juvix
.
Builtin
.
V1
.
Nat
.
Base
open
public
;
Last modified on 2024-04-19 16:39 UTC