Module `Cgil_lib.CConstants`

module Exec_mode = Gillian.Utils.Exec_mode

module Architecture : sig ... end

module GEnvConfig : sig ... end

module Imports : sig ... end

module Internal_Functions : sig ... end

module Builtin_Functions : sig ... end

module CBMC_Builtin_Functions : sig ... end

module BinOp_Functions : sig ... end

module UnOp_Functions : sig ... end

module VTypes : sig ... end

module Prefix : sig ... end

module Internal_Predicates : sig ... end

module Symbolic_Constr : sig ... end