pub fn simplex_closure_overlap<'f, FS: OrderedRingSignature + FieldSignature>(
a: &Simplex<'f, FS>,
b: &Simplex<'f, FS>,
) -> boolpub fn simplex_closure_overlap<'f, FS: OrderedRingSignature + FieldSignature>(
a: &Simplex<'f, FS>,
b: &Simplex<'f, FS>,
) -> bool