Module `Jkind.Sub_result`

type t =

| Equal
| Less
| Not_le of Ocaml_typing.Jkind.Sub_failure_reason.t Ocaml_utils.Misc_stdlib.Nonempty_list.t

val of_le_result : 
  failure_reason:
    (unit ->
      Ocaml_typing.Jkind.Sub_failure_reason.t
        Ocaml_utils.Misc_stdlib.Nonempty_list.t) ->
  Ocaml_utils.Misc_stdlib.Le_result.t ->
  Ocaml_typing.Jkind.Sub_result.t

val combine : 
  Ocaml_typing.Jkind.Sub_result.t ->
  Ocaml_typing.Jkind.Sub_result.t ->
  Ocaml_typing.Jkind.Sub_result.t

val require_le : 
  Ocaml_typing.Jkind.Sub_result.t ->
  (unit,
    Ocaml_typing.Jkind.Sub_failure_reason.t
      Ocaml_utils.Misc_stdlib.Nonempty_list.t)
    Stdlib.result

val is_le : Ocaml_typing.Jkind.Sub_result.t -> bool

Module Jkind.Sub_result

Module `Jkind.Sub_result`