Tac2quote.RefsStandard values
val t_unit : Tac2expr.type_constantval v_unit : Tac2val.valexprval t_list : Tac2expr.type_constantval c_nil : Tac2expr.ltac_constructorval c_cons : Tac2expr.ltac_constructorval t_option : Tac2expr.type_constantval c_none : Tac2expr.ltac_constructorval c_some : Tac2expr.ltac_constructorval t_int : Tac2expr.type_constantval t_string : Tac2expr.type_constantval t_array : Tac2expr.type_constantval t_bool : Tac2expr.type_constantval c_true : Tac2expr.ltac_constructorval c_false : Tac2expr.ltac_constructorval t_constr : Tac2expr.type_constantval t_preterm : Tac2expr.type_constantval t_pattern : Tac2expr.type_constantval t_ident : Tac2expr.type_constantval t_exn : Tac2expr.type_constantval t_reference : Tac2expr.type_constant