Cubicle 1.1.2 documentation and source : Fixpoint.FixpointTrie.easy

let easy_fixpoint s nodes =
    if delete && (s.deleted || Node.has_deleted_ancestor s)
    then Some []
    else Cubetrie.mem_array (Node.array s) nodes