let create_literal_info literal literal_type choice_point context_unifier clause clause_vars
context_literals clause_index utility explanation =
{
li_literal = literal;
li_type = literal_type;
li_choice_point = choice_point;
li_context_unifier = context_unifier;
li_clause = clause;
li_clause_vars = clause_vars;
li_clause_utility = utility;
li_clause_index = clause_index;
li_context_literals = context_literals;
li_explanation = explanation;
}