/* 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 */
