def compute_literal_typing_for_args(cls, predicate_type, args):
return Literal.compute_literal_typing(predicate_type,
[arg.get_type() for arg in args],
cls.INSTANCE.type_comparator,
cls.INSTANCE.type_repository)
def compute_literal_typing(cls, predicate_type, arg_types):
return Literal.compute_literal_typing(predicate_type,
arg_types,
cls.INSTANCE.type_comparator,
cls.INSTANCE.type_repository)
