kdrag.modal.Valid

kdrag.modal.Valid(p: FuncRef) → BoolRef

Convert from modal truth to regular Bool

https://en.wikipedia.org/wiki/Validity_(logic)#Valid_formula

Parameters:

p (FuncRef)

Return type:

BoolRef