Chaînes

INSTANCE string
  WHERE string = sequence{char}
  -- Strings have a special literal syntax: "abc" = ['a', 'b', 'c'].

  CONCEPT substring(s1 s2: string) VALUE(b: boolean)
    WHERE b <=> SOME(a b: string :: a || s1 || b = s2)
END