Header menu logo bristlecone

PositiveInt Module

Types

Type Description

PositiveInt

Functions and values

Function or value Description

PositiveInt.create i

Full Usage: PositiveInt.create i

Parameters:
    i : int

Returns: PositiveInt option
i : int
Returns: PositiveInt option

Type something to start searching.