Function reflexiveCopy item path

pub open spec fn reflexive<T>(r: FnSpec<(T, T), bool>) -> bool

{ forall |x: T| #[trigger] r(x, x) }