Header menu logo bristlecone

PositiveInt Module

Types

Type Description

PositiveInt<'u>

Functions and values

Function or value Description

PositiveInt.create i

Full Usage: PositiveInt.create i

Parameters:
Returns: PositiveInt<'u> option
i : int<'u>
Returns: PositiveInt<'u> option

Type something to start searching.