1use crate::*; 2 3extern "C" { 4 pub fn lean_sharecommon_eq(o1: b_lean_obj_arg, o2: b_lean_obj_arg) -> u8; 5 pub fn lean_sharecommon_hash(o1: b_lean_obj_arg) -> u64; 6}