Свойство | Type | Description | |
---|---|---|---|
given | List |
||
pat | Pattern | ||
to | |||
where |
Méthode | Description | |
---|---|---|
AddGivenCase ( |
||
GuardedExp ( Pattern pat ) : System | ||
GuardedExp ( Pattern pat, |
||
GuardedExp ( Pattern pat, |
||
PrettyPrint ( StringBuilder sb ) : void |
public GuardedExp ( Pattern pat, |
||
pat | Pattern | |
where | ||
given | List |
|
Résultat | System |
public GuardedExp ( Pattern pat, |
||
pat | Pattern | |
where | ||
given | List |
|
to | ||
Résultat | System |
public PrettyPrint ( StringBuilder sb ) : void | ||
sb | StringBuilder | |
Résultat | void |