Skip to content

has_submap(choicemap, addr)::Bool #124

@bzinberg

Description

@bzinberg

Seems like a useful thing to have in the API. Currently I'm using the implementation

function has_submap(c::Gen.ChoiceMap, addr)
  addr in keys(collect(Gen.get_submaps_shallow(c)))
end

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions