BCHGlobalState
val g_arithmetic_op_to_string : BCHLibTypes.g_arithmetic_op -> string
val gterm_to_pretty : BCHLibTypes.gterm_t -> CHPretty.pretty_t
val global_system_state : BCHLibTypes.global_system_state_int