Module `Jkind.Sub_result`Source

Sourcetype t =

val of_le_result : 
  failure_reason:
    (unit -> Sub_failure_reason.t Ocaml_utils.Misc.Nonempty_list.t) ->
  Ocaml_utils.Misc.Le_result.t ->
  t

Sourceval combine : t -> t -> t

val require_le : 
  t ->
  (unit, Sub_failure_reason.t Ocaml_utils.Misc.Nonempty_list.t) result

Sourceval is_le : t -> bool

Module Jkind.Sub_resultSource