Commits

bergsoe  committed 91aa589

API docs.

  • Participants
  • Parent commits 6e2a34f

Comments (0)

Files changed (1)

File src/PaplEdgeConstraint.mli

 (**
    Edge constraints
 
-   A constraint (see {! PaplConstraint}) for an edge (see {!PaplEdge}) checks if certain
-   properties of the edge are satisfied.
+   A constraint (see {! PaplConstraint}) for an edge (see {!PaplEdge}) checks if
+   certain properties of the edge are satisfied.
 *)
 
 (** {2 Edge constraints} *)
 val constrain_both : 'a PaplConstraint.t -> 'a t
 (** A constraint on both elements of a pair.
 
-    The [constrain_both constr] accepts a pair [(a, b)] if [constr] accepts both [a]
-    and [b]. [a] is checked before [b].
+    The [constrain_both constr] accepts a pair [(a, b)] if [constr] accepts both
+    [a] and [b]. [a] is checked before [b].
 *)
 
 val constrain_fst : 'a PaplConstraint.t -> 'a t