Searched refs:as_pointer (Results 1 – 7 of 7) sorted by relevance
53 const void* as_pointer; member
35 external as_pointer: t -> 'a
56 (** [as_pointer gv] unboxes the pointer-valued generic value [gv]. See the58 val as_pointer : t -> 'a val
43 assert (tu = GenericValue.as_pointer ptrgv);
97 const void* as_pointer;
1087 const void* as_pointer; member1138 INTERNAL_DECLARE_SET_TRACE_VALUE(const void*, as_pointer, in INTERNAL_DECLARE_SET_TRACE_VALUE_INT()
661 value.as_pointer))); in AppendValueAsJSON()