Jkind.Sub_resultval of_le_result :
failure_reason:
(unit -> Sub_failure_reason.t Ocaml_utils.Misc_stdlib.Nonempty_list.t) ->
Ocaml_utils.Misc_stdlib.Le_result.t ->
tval require_le :
t ->
(unit, Sub_failure_reason.t Ocaml_utils.Misc_stdlib.Nonempty_list.t) resultval is_le : t -> bool