Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package swipl
val action_trace : int T.constval action_debug : int T.constval action_backtrace : int T.constval action_halt : int T.constval action_abort : int T.constval action_break : int T.constval action_guiapp : int T.constval action_traditional : int T.constval action_write : int T.constval action_flush : int T.constval action_attach_console : int T.constval gmp_set_alloc_functions : int T.const