The type "Float32" is defined in
/pliant/language/type/number/float.pli
module.
Field
Type
value
Int
Method name
Arguments
(Pointer Float32) -> Float32
(/pliant/language/basic/safe.pli)
implicit
Float -> Float32
reduction
Status -> Float32
extension
Float32 -> Float
extension
Float32 -> Status