Dictionary.Cover_paramsval s : [ `Cover ] Ctypes.structure Ctypes.typval k : (Unsigned.uint, [ `Cover ] Ctypes.structure) Ctypes.fieldval d : (Unsigned.uint, [ `Cover ] Ctypes.structure) Ctypes.fieldval steps : (Unsigned.uint, [ `Cover ] Ctypes.structure) Ctypes.fieldval nbThreads : (Unsigned.uint, [ `Cover ] Ctypes.structure) Ctypes.fieldval splitPoint : (float, [ `Cover ] Ctypes.structure) Ctypes.fieldval t : [ `Cover ] Ctypes.structure Ctypes.typ