Checkers.PurityModels
module BuiltinPureMethods : sig ... end
val modifies_first : PurityDomain.t
val modifies_third : PurityDomain.t
val pure_builtins : 'a -> BuiltinPureMethods.elt -> bool
val getStarValue : 'a -> string -> bool
module ProcName : sig ... end