129 open Hints_declaration
153 open Joint_LTL_LIN_semantics
157 (** val lTL_semantics : SemanticsUtils.sem_graph_params **)
159 { SemanticsUtils.sgp_pars =
160 (Joint.gp_to_p__o__stmt_pars__o__uns_pars LTL.lTL);
161 SemanticsUtils.sgp_sup = (fun _ ->
162 Joint_LTL_LIN_semantics.lTL_LIN_semantics);
163 SemanticsUtils.graph_pre_main_generator = LTL.lTL_premain }