Imandra_instrument
module Policy : sig ... end
val policy_file : string option Stdlib.ref
val setup : unit -> unit