Module JS2GIL_ParserAndCompiler.TargetLangOptions

type t = {
  1. jsil : bool;
  2. harness : bool;
  3. burn_jsil : bool;
}
val term : t Cmdliner.Term.t
val apply : t -> unit