Module Tac2core.Core
val t_list : Tac2expr.type_constantval c_nil : Tac2expr.ltac_constructorval c_cons : Tac2expr.ltac_constructorval t_int : Tac2expr.type_constantval t_option : Tac2expr.type_constantval t_string : Tac2expr.type_constantval t_array : Tac2expr.type_constantval c_true : Tac2expr.ltac_constructorval c_false : Tac2expr.ltac_constructor