Module `Jkind.Sub_result`

type t =

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

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

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

val is_le : Jkind.Sub_result.t -> bool

Module Jkind.Sub_result