You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(** ['a spec] combines an ['a gen] and a printer *)type'a spec = { gen : 'agen;printer : 'aprinteroption}
(** [t] is the specification type, describing a function. Thus [t] declaration must end with {! (^>>) }. *)type('fn, 'r) t =
| Result : 'aprinter -> ('a, 'a) t
| Arrow : 'aspec* ('fn, 'r) t -> ('a -> 'fn, 'r) t
Parameters should not be printed. Since new snapshots will use previous
parameters, we know that they are equals, it's not mandatory to print them.
However, the result printer must remains.
The text was updated successfully, but these errors were encountered:
Parameters should not be printed. Since new snapshots will use previous
parameters, we know that they are equals, it's not mandatory to print them.
However, the result printer must remains.
The text was updated successfully, but these errors were encountered: