129 open Hints_declaration
153 open Joint_LTL_LIN_semantics
157 (** val lIN_semantics : Joint_semantics.sem_params **)
159 SemanticsUtils.sem_lin_params_to_sem_params { SemanticsUtils.slp_pars =
160 (Joint.lp_to_p__o__stmt_pars__o__uns_pars LIN.lIN);
161 SemanticsUtils.slp_sup = (fun _ ->
162 Joint_LTL_LIN_semantics.lTL_LIN_semantics);
163 SemanticsUtils.lin_pre_main_generator = LIN.lIN_premain }