Lines Matching refs:sepia_kernel
140 from sepia_kernel.
147 %:- import struct(tf), struct(trace_line) from sepia_kernel.
148 :- import sepia_kernel.
162 from sepia_kernel.
964 true ; sepia_kernel:set_bip_error(5)
969 sepia_kernel:get_bip_error(Error),
992 ; sepia_kernel:set_bip_error(5)
1075 ; sepia_kernel:set_bip_error(6)
1115 (Cond == yes -> ! ; sepia_kernel:set_bip_error(6)).
1117 sepia_kernel:get_bip_error(Error),