swipl
Bindings to SWI-Prolog for OCaml
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val action_trace : int T.const
val action_debug : int T.const
val action_backtrace : int T.const
val action_halt : int T.const
val action_abort : int T.const
val action_break : int T.const
val action_guiapp : int T.const
val action_traditional : int T.const
val action_write : int T.const
val action_flush : int T.const
val action_attach_console : int T.const
val gmp_set_alloc_functions : int T.const