Soteria_c_lib.State_intfmodule Agv = Aggregate_valmodule Compo_res = Soteria.Symex.Compo_restype syn = | Ser_heap of Soteria_c_lib.Typed.Expr.t * Block.syn| Ser_globs of Symbol_std.t * Soteria_c_lib.Typed.Expr.tval pp_syn :
Ppx_deriving_runtime.Format.formatter ->
syn ->
Ppx_deriving_runtime.unitval show_syn : syn -> Ppx_deriving_runtime.stringmodule type S = sig ... end