Skip to main content

Constraint

lemma::parsing::ast

Type Alias Constraint 

Source 
pub type Constraint = (TypeConstraintCommand, Vec<CommandArg>);
Expand description

A single constraint command and its typed arguments.