You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josh Berdine 18fd68f60a [sledge] Add Trace.infok ... Summary: Trace.infok is like Trace.info but accepts a polymorphic printf continuation instead of directly taking a format string and its args. This is useful to write wrappers such as: ``` let trace k = [%Trace.infok k] ``` Reviewed By: ngorogiannis Differential Revision: D19221883 fbshipit-source-id: 88e939b26		5 years ago
..
dune.in	[copyright] Remove years	6 years ago
trace.ml	[sledge] Add Trace.infok	5 years ago
trace.mli	[sledge] Add Trace.infok	5 years ago