let output_dir = "$(EVERPARSE_OUTPUT_DIR)"
let output_dir =
"$(EVERPARSE_OUTPUT_DIR)"
GenMakefile.fst.checked
prims.fst.checked OS.fsti.checked Options.fsti.checked HashingOptions.fst.checked FStar.String.fsti.checked FStar.Printf.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked FStar.List.fst.checked FStar.IO.fst.checked FStar.All.fst.checked Deps.fsti.checked
GenMakefile.fst
module GenMakefile
module OS = OS

type rule_type =
  | EverParse
  | CC
  | Nop (* to simulate multiple-target rules *)

type rule_t = {
  ty: rule_type;
  from: list string;
  to: string;
  args: string;
}
val output_dir : Prims.string
Prims.string