aboutsummaryrefslogtreecommitdiff
path: root/xacml-proofs/compiler/lib/compiler.mli
blob: 41f26133f1bbe47485eb35f9179e3db9dc47ecf0 (plain) 
1
2

val compile_policies : string list -> string
val compile_request : string -> string

© 2015 - 2026 Jakob L. Kreuze