Type Alias ConstSpec 

pub type ConstSpec = (String, usize);

Pairs a synthetic predicate name (e.g. "Const_c42") with its dictionary ID. One entry is produced per rewritten atom occurrence.