A LiteralReal is a specification of a Real value.
No results found
Would you like to provide feedback? Just click here to suggest edits.