bindings
Stubs.Result
swipl.swipl
val s_exception : int T.const
val s_false : int T.const
val s_true : int T.const
val s_last : int T.const