jon.recoil.org

Module Jkind.Sub_result

type t =
  1. | Equal
  2. | Less
  3. | Not_le of Sub_failure_reason.t Misc.Nonempty_list.t
val of_le_result : failure_reason:(unit -> Sub_failure_reason.t Misc.Nonempty_list.t) -> Misc.Le_result.t -> t
val combine : t -> t -> t
val is_le : t -> bool