Merge Typing_logic.Coerce and Typing_logic.IsSubtype
[hiphop-php.git] / hphp / hack / src / client / clientStart.mli
blob03d86584eecdb6665682fe4575c235c9e91957d6
1 (*
2 * Copyright (c) 2015, Facebook, Inc.
3 * All rights reserved.
5 * This source code is licensed under the MIT license found in the
6 * LICENSE file in the "hack" directory of this source tree.
8 *)
10 type env = {
11 root: Path.t;
12 from: string;
13 no_load: bool;
14 watchman_debug_logging: bool;
15 log_inference_constraints: bool;
16 silent: bool;
17 exit_on_failure: bool;
18 ai_mode: string option;
19 ignore_hh_version: bool;
20 save_64bit: string option;
21 save_human_readable_64bit_dep_map: string option;
22 saved_state_ignore_hhconfig: bool;
23 prechecked: bool option;
24 mini_state: string option;
25 config: (string * string) list;
26 custom_hhi_path: string option;
27 custom_telemetry_data: (string * string) list;
28 allow_non_opt_build: bool;
31 val main : env -> Exit_status.t Lwt.t
33 val start_server : env -> unit