Package it.unive.lisa.program.language.validation

Interface Summary

Interface	Description
ProgramValidationLogic	A logic for validating Programs.

Class Summary

Class	Description
BaseValidationLogic	A simple implementation of ProgramValidationLogic, providing the minimum reasoning for considering a Program valid for LiSA.