Module Core.Test_types

module Ctypes = Codex.Types.Ctypes
val int : Ctypes.typ
val contiki_list : Ctypes.typ
val kennedy_union_find : Ctypes.typ
val pred_nz : Ctypes.Pred.t
val kennedy_doubly_linked : Ctypes.typ
val kennedy_node : Ctypes.typ
val kennedy_node2 : Ctypes.typ
val popl2017_elist : Ctypes.typ
val popl2017_etree : Ctypes.typ
val popl2017_jsw_avlnode : Ctypes.typ
val popl2017_jsw_avltree : Ctypes.typ
val popl2017_jsw_avltrav : Ctypes.typ
val popl2017_gdsl_element_t : Ctypes.typ
val popl2017_gdsl_element_t_nz : Ctypes.typ
val popl2017__gdsl_node : Ctypes.typ
val popl2017__gdsl_list : Ctypes.typ
val popl2017__gdsl_bintree : Ctypes.typ
val popl2017_gdsl_bstree : Ctypes.typ
val types : Ctypes.typ M.t