st-trivial-inference-sail 13.1 API