(* This module translates [LTL] into [LIN]. *)

val translate_program: LTL.program -> LIN.program