Function trigger_peek_implications Copy item path

pub open spec fn trigger_peek_implications<T>(x: T) -> bool

{ true }