StateM.Syntax
val (let*) : ('a, 'env) t -> ('a -> ('b, 'env) t) -> ('b, 'env) t
val (let+) : ('a, 'env) t -> ('a -> 'b) -> ('b, 'env) t
val (let*^) : 'a Rustsymex.t -> ('a -> ('b, 'env) t) -> ('b, 'env) t
val (let+^) : 'a Rustsymex.t -> ('a -> 'b) -> ('b, 'env) t
module Symex_syntax : sig ... end