Soteria_c_lib.Stubs
module Ctype = Cerb_frontend.Ctype
module BV = Typed.BitVec
module T = Soteria_c_lib.Typed.T
module Agv = Aggregate_val
val builtin_functions : string list
module M (State : State_intf.S) : sig ... end