Carcass.Ask

sig
  type ('a, 'b) t = ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
  val value :
    ?ppf:Format.formatter ->
    parse:(string -> ('a, 'b) Result.result) ->
    ('c, ('a, 'b) Result.result) Carcass.Ask.t
  val pattern :
    ?ppf:Format.formatter ->
    ('a, (Carcass.Pat.t, [> Carcass.Error.parse ]) Result.result)
    Carcass.Ask.t
  val bool :
    ?ppf:Format.formatter -> default:bool -> ('a, bool) Carcass.Ask.t
  val string :
    ?ppf:Format.formatter -> default:string -> ('a, string) Carcass.Ask.t
end