xacml-proofs/compiler/bin/request.ml


1
2
3
4
5
6
7
8

open Core
open Compiler

let () =
  let argv = Sys.get_argv () in
  let file_name = Array.get argv 1 in
  let policy_code = In_channel.read_all file_name in
  compile_request policy_code |> Stdio.print_endline