pub fn string_less_equal_pred(
runtime: &Runtime,
_env: &[Value],
args: &[Value],
rest_args: &[Value],
dyn_state: &mut DynamicState,
k: Value,
) -> Applicationpub fn string_less_equal_pred(
runtime: &Runtime,
_env: &[Value],
args: &[Value],
rest_args: &[Value],
dyn_state: &mut DynamicState,
k: Value,
) -> Application