Config.ImprecisePureAtoms
include Param_sig.VALUE_IN with type t := bool
include Param_sig.PARAM
val name : string
val short_name : char option
val help : string
val default : bool
val set : bool -> unit
val get : unit -> bool