M (soteria-c.Soteria_c_lib.Ctree_block.Tree.Frame

type ('a, 'b, 'c) t

val return : 'a -> ('a, 'b, 'c) t

val lift : 
  (Cerb_location.t ->
    ('a * Cerb_location.t)
      Soteria__Symex.Make(Soteria.Bv_values.Bv_solver.Z3_solver).t) ->
  ('a, 'b, 'c) t

val bind : ('a, 'b, 'c) t -> ('a -> ('d, 'b, 'c) t) -> ('d, 'b, 'c) t

val map : ('a, 'b, 'c) t -> ('a -> 'd) -> ('d, 'b, 'c) t

module Syntax : sig ... end