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