def is_str.of

ezmcp@0.1.0.0 · src/openapi.bend:209

import ezmcp@0.1.0.0/src/openapi.bend as Openapi

import Base

209def is_str.of(text: Maybe<&2, String>, +str: String) -> Bool:
210  match text:
211    case None{}:
212      False{}
213    case Some{got}:
214      String.eq(got, str)

Uses (4)

Used by (1)

ezmcp@0.1.0.0/src/openapi:is_str