Js_of_ocaml_compiler.Bool_context
type t
val f : Code.program -> t
val is_bool_context_only : t -> Code.Var.t -> bool