Skip to content

Commit

Permalink
Update typing/jkind_axis.mli
Browse files Browse the repository at this point in the history
Co-authored-by: Richard Eisenberg <[email protected]>
  • Loading branch information
glittershark and goldfirere committed Dec 27, 2024
1 parent 99fd428 commit c01dc5d
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions typing/jkind_axis.mli
Original file line number Diff line number Diff line change
Expand Up @@ -69,6 +69,8 @@ module Axis : sig

val is_deep : _ t -> bool

(* CR layouts v2.8: Not sure this belongs here, but there's not another obvious spot. Once this
file is more aligned with axis treatment in mode.ml, possibly re-home this. *)
val modality_is_const_for_axis : _ t -> Mode.Modality.Value.Const.t -> bool
end

Expand Down

0 comments on commit c01dc5d

Please sign in to comment.