Add cost.mli

Reviewed By: ezgicicek

Differential Revision: D8876442

fbshipit-source-id: d2116dc3b
master
Mehdi Bouaziz 7 years ago committed by Facebook Github Bot
parent b0ba6b3e1e
commit 36b581cecd

@ -0,0 +1,10 @@
(*
* Copyright (c) 2017-present, Facebook, Inc.
*
* This source code is licensed under the MIT license found in the
* LICENSE file in the root directory of this source tree.
*)
open! IStd
val checker : Callbacks.proc_callback_t
Loading…
Cancel
Save