Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = unit Ctypes.ptr
val t : t Ctypes.typ
val tf_setconfig :
(t ->
unit Ctypes_static.ptr ->
Unsigned.size_t ->
Tf_status.t ->
unit F.return)
F.result