cyclotomic-imports: Extract value from a 'Just' value

cyclotomic-importsR Documentation

Extract value from a 'Just' value

Description

The from_just function is imported from the maybe package. Follow the link to its documentation: from_just. It has been imported for convenient use of the maybeRational function, which possibly returns a 'Just' value.


cyclotomic documentation built on Nov. 3, 2023, 1:13 a.m.