Type Alias TacticRef 

pub type TacticRef = String;

A reference to a tactic used at the expression level (e.g., by exact rfl).

Aliased Type

pub struct TacticRef { /* private fields */ }