Imandra_instrument.Policy
type policy =
| Cost of int
| Blocked
policy for a given symbol
type t
val pp : t CCFormat.printer
val of_yojson : Yojson.Safe.json -> ( t, string ) Stdlib.result
val default : t
val get_default : t -> int
val find : t -> string -> policy option