1use crate::runtime::KernelPtr;
2
3extern "C" {
4 pub fn partial_lagrange_koala_bear() -> KernelPtr;
5 pub fn partial_lagrange_koala_bear_extension() -> KernelPtr;
6
7 pub fn mle_fold_koala_bear_base_base() -> KernelPtr;
8 pub fn mle_fold_koala_bear_base_extension() -> KernelPtr;
9 pub fn mle_fold_koala_bear_ext_ext() -> KernelPtr;
10
11 pub fn mle_fix_last_variable_in_place_koala_bear_base() -> KernelPtr;
12 pub fn mle_fix_last_variable_in_place_koala_bear_extension() -> KernelPtr;
13
14 pub fn partial_geq_koala_bear() -> KernelPtr;
15}