sig   type _ t =       Int : int -> int Language.Literal.t     | String : string -> string Language.Literal.t     | Bool : bool -> bool Language.Literal.t   val to_shell : 'a t -> string   module String :     sig       val easy_to_escape : string -> bool       val impossible_to_escape_for_variable : string -> bool     end end