(* This module translates [LTL] into [LIN]. *)
val
translate_program:
LTL
.
program
->
LIN
.
program