l0_check_expr namespace

Classes

class ExpressionInference
Mutually recursive expression inference over explicit semantic dependencies.