One
Represents a generic one for multiplicatives, such as the number one or a list containing a single Zero element.
Syntax
Core.One
Represents a generic one for multiplicatives, such as the number one or a list containing a single Zero element.
Core.One