juvix-docs - 0.0.0
Source
Index
Stdlib.Data.Nat.Base
Contents
Description
Definitions
Description
Definitions
import
Juvix.Builtin.V1.Nat.Base
open
public