Poly_ok (gemini.Gemini.Poly

type 'a ok = [

]

val ok_exn : 
  ?message:Core__.Import.string ->
  ?here:Ppx_here_lib.position ->
  ?sexp_of_error:([> 'a ok ] as 'b -> Base.Sexp.t) ->
  'c ->
  'a0

val ok_or_none : [> 'a ok ] -> 'a0 option

val ok_or_error_s : 
  [> 'a ok ] as 'b ->
  ('c -> Base__.Sexp.t) ->
  'a0 Core.Or_error.t

val ok_or_error : [> 'a ok ] as 'b -> ('c -> string) -> 'a0 Core.Or_error.t

val ok : 'a -> 'a0 ok