Producer.Syntax
val (let*) : 'a t -> ('a -> 'b t) -> 'b t
val (let+) : 'a t -> ('a -> 'b) -> 'b t
val (let*^) : 'a symex -> ('a -> 'b t) -> 'b t
val (let+^) : 'a symex -> ('a -> 'b) -> 'b t
module Symex_syntax : Soteria.Symex.Symex_syntax_S with type ('a, 'b) t := 'a t and type sbool_v := Value.sbool Value.t