#lang racket

#|

File: semantics/strings.rkt
Author: Bill Turtle (wrturtle)

Defines additional functions on strings.
Currently, there is only one: string_contains.

|#

(require racket/match)

(provide string_contains)

(define/contract (string_contains s x)
  (-> string? string? boolean?)
  (match s
    [(regexp x) #t]
    [else #f]))