Module Policy_engine

module Policy_engine: sig .. end

val eval_expr_policy : Policy_type.policy ->
Dba_types.Statement.t ->
Dba.expr -> Path_pred_env.dse_analysis_sig_t -> Policy_type.cs_action
val print_policy : Policy_type.policy -> unit
val parse_policy_from_string_list : string list -> Policy_type.policy
val parse_policy_from_file : string -> Policy_type.policy
val read_raw_policy : string -> string list