module
Stdlib
.
Data
.
Nat
.
Base
;
import
Juvix
.
Builtin
.
V1
.
Nat
.
Base
open
public
;
Last modified on 2024-07-11 16:35 UTC