Soteria_c_lib.Interp
module Ctype = Cerb_frontend.Ctype
module AilSyntax = Cerb_frontend.AilSyntax
module T = Soteria_c_lib.Typed.T
module BV = Typed.BitVec
module Agv = Aggregate_val
module InterpM (State : State_intf.S) : sig ... end
type Stdlib.Effect.t +=
| Get_fun_ctx : Fun_ctx.t Stdlib.Effect.t
val get_fun_ctx : unit -> Fun_ctx.t
module Make (State : State_intf.S) : sig ... end