Here is a list of all typedefs with links to the files they belong to:

- k -

• kar : cadical_kitten.c
• katch : kitten.c
• kimits : cadical_kitten.c
• kink : cadical_kitten.c
• kissat : kissat.h
• kissat_solver : kissatSolver.h
• Kit_DsdMan_t : kit.h
• Kit_DsdNtk_t : kit.h
• Kit_DsdObj_t : kit.h
• Kit_Edge_t : kit.h
• Kit_Graph_t : kit.h
• Kit_ManDec_t : kitDec.c
• Kit_Mux_t : kitCloud.c
• Kit_Node_t : kit.h
• Kit_Sop_t : kit.h
• kitten : kitten.h
• klause : cadical_kitten.c
• kormat : format.h