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