Sub_result (merlin-lib.merlin-lib.ocaml_typing.Ocaml_typing.Jkind.Sub

type t =

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

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

val combine : t -> t -> t

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

val is_le : t -> bool