Js_of_ocaml_compiler.Pure_fun
type t
val pure_expr : t -> Code.expr -> bool
val pure_instr : t -> Code.instr -> bool
val pure : t -> Code.Var.t -> bool
val empty : t
val f : Code.program -> t