Module InterpM.Syntax

val (let*) : ('a, 'b, 'c) SSM.Result.t -> ('a -> ('d, 'b, 'c) SSM.Result.t) -> ('d, 'b, 'c) SSM.Result.t
val (let+) : ('a, 'b, 'c) SSM.Result.t -> ('a -> 'd) -> ('d, 'b, 'c) SSM.Result.t
val (let*^) : 'a Csymex.t -> ('a -> 'b t) -> 'b t
module Symex_syntax = SSM.Syntax.Symex_syntax