Lines Matching refs:gv
51 (** [as_float fpty gv] unboxes the floating point-valued generic value [gv] of
56 (** [as_pointer gv] unboxes the pointer-valued generic value [gv]. See the
60 (** [as_int32 gv] unboxes the integer-valued generic value [gv] as an [int32].
61 Is invalid if [gv] has a bitwidth greater than 32 bits. See the field
65 (** [as_int gv] unboxes the integer-valued generic value [gv] as an [int].
66 Is invalid if [gv] has a bitwidth greater than the host bit width (but the
71 (** [as_natint gv] unboxes the integer-valued generic value [gv] as a
72 [nativeint]. Is invalid if [gv] has a bitwidth greater than
76 (** [as_int64 gv] returns the integer-valued generic value [gv] as an [int64].
77 Is invalid if [gv] has a bitwidth greater than [int64]. See the field
