StateM (soteria-rust.Soteria_rust

module Compo_res = Soteria.Symex.Compo_res

module Compo_resT2 (I : sig ... end) (M : sig ... end) : sig ... end

module type S = sig ... end

module Make
  (State : sig ... end) : 
  S
    with type st = State.t option
     and type syn = State.syn
     and type Sptr.t = State.Sptr.t