Preparing search index...
The search index is not available
sesaparcours
sesaparcours
types
<internal>
AssumeResult
Type Alias AssumeResult
Assume
Result
:
|
"internal-error"
|
"not-a-predicate"
|
"contradiction"
|
"tautology"
|
"ok"
Settings
Member Visibility
Inherited
Theme
OS
Light
Dark
sesaparcours
Loading...