Module `Utils.Syntaxes`

Syntax-extending helper functions for Result and Option

module Result = Gillian.Utils.Syntaxes.Result

module Option = Gillian.Utils.Syntaxes.Option

module Result_of_option = Gillian.Utils.Syntaxes.Result_of_option

module List = Gillian.Utils.Syntaxes.List