15 lines
619 B
C
Generated
15 lines
619 B
C
Generated
/* This is a generated file, edit random.stub.php instead.
|
|
* Stub hash: 245fb5b66e540814c8595a06182886aee3e32f2c */
|
|
|
|
#ifndef ZEND_RANDOM_DECL_245fb5b66e540814c8595a06182886aee3e32f2c_H
|
|
#define ZEND_RANDOM_DECL_245fb5b66e540814c8595a06182886aee3e32f2c_H
|
|
|
|
typedef enum zend_enum_Random_IntervalBoundary {
|
|
ZEND_ENUM_Random_IntervalBoundary_ClosedOpen = 1,
|
|
ZEND_ENUM_Random_IntervalBoundary_ClosedClosed = 2,
|
|
ZEND_ENUM_Random_IntervalBoundary_OpenClosed = 3,
|
|
ZEND_ENUM_Random_IntervalBoundary_OpenOpen = 4,
|
|
} zend_enum_Random_IntervalBoundary;
|
|
|
|
#endif /* ZEND_RANDOM_DECL_245fb5b66e540814c8595a06182886aee3e32f2c_H */
|