Skip to content
Snippets Groups Projects
Commit 9eb3ada5 authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

expr: Introduce isDefined 

This implements the start of #14, introducing a predicate to determine
whether an `Expr` has a well-defined value. We aren't currently using it
in the `Arbitrary` instance.
parent 84960310
No related branches found
No related tags found
Pipeline #108028 failed
Stage: test
Pipeline: test-primops

#108029

    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 20 additions and 0 deletions
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment