dune « lib « json_xacml_translator « xacml-translation - rego-proofs.git - Lean proofs for my Master's thesis

about summary refs log tree commit diff

path: root/xacml-translation/json_xacml_translator/lib/dune

blob: 394a9e90b4884448fd0cab4b527819055801e4cb (plain)

(library
 (name translator)
 (libraries base xml-light yojson)
 (preprocess (pps ppx_let ppx_jane)))

© 2015 - 2026 Jakob L. Kreuze