ctypes.stubs
Cstubs_analysis
ctypes
ctypes.top
val float : 'a Ctypes_static.fn -> bool
val may_allocate : 'a Ctypes_static.fn -> bool