let
run =
Dynamic
.register
"Ltl_to_acsl.run"
(
Type
.func
Type
.unit
Type
.unit)
~journalize:
true
run