Function law_passing_cap_implies_frame_encodable 

pub fn law_passing_cap_implies_frame_encodable(len: u64, max: u64) -> bool