Skip to content

Commit

Permalink
fix comment
Browse files Browse the repository at this point in the history
  • Loading branch information
garrigue committed Sep 7, 2021
1 parent a8571ca commit 45d3fed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion typing/btype.mli
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ val is_fixed: row_desc -> bool

val has_fixed_explanation: row_desc -> bool
(* Return whether the row should be treated as fixed or not.
In particular, [is_fixed row] implies [row_fixed row].
In particular, [is_fixed row] implies [has_fixed_explanation row].
*)

val fixed_explanation: row_desc -> fixed_explanation option
Expand Down

0 comments on commit 45d3fed

Please sign in to comment.