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