pub unsafe extern "C" fn lysc_ext_substmt( ext: *const lysc_ext_instance, substmt: Type, instance_p: *mut *mut c_void, cardinality_p: *mut Type) -> Type