lib/CTrait.syms

   1 true: -> Bool
   2 false: -> Bool
   3 \not __: Bool -> Bool
   4 __ \and __: Bool, Bool -> Bool
   5 __ \or __: Bool, Bool -> Bool
   6 __ \implies __: Bool, Bool -> Bool
   7 __ \eq __: Bool, Bool -> Bool
   8 __ \eq __: Int, Int -> Bool
   9 __ \eq __: double, double -> Bool
  10 __ \eq __: float, float -> Bool
  11 __ \eq __: _char_Vec, _char_Vec -> Bool
  12 __ \eq __: char, char -> Bool
  13 __ \neq __: Bool, Bool -> Bool
  14 __ \neq __: Int, Int -> Bool
  15 __ \neq __: double, double -> Bool
  16 __ \neq __: float, float -> Bool
  17 __ \neq __: _char_Vec, _char_Vec -> Bool
  18 __ \neq __: char, char -> Bool
  19 if __ then __ else __: Bool, Bool, Bool -> Bool
  20 if __ then __ else __: Bool, Int, Int -> Int
  21 if __ then __ else __: Bool, double, double -> double
  22 if __ then __ else __: Bool, float, float -> float
  23 if __ then __ else __: Bool, _char_Vec, _char_Vec -> _char_Vec
  24 if __ then __ else __: Bool, char, char -> char
  25 __ |- __: _char_Vec, char -> _char_Vec
  26 __ -| __: char, _char_Vec -> _char_Vec
  27 __ \leq __: Int, Int -> Bool
  28 __ \leq __: double, double -> Bool
  29 __ \leq __: float, float -> Bool
  30 __ \geq __: Int, Int -> Bool
  31 __ \geq __: double, double -> Bool
  32 __ \geq __: float, float -> Bool
  33 succ: Int -> Int
  34 pred: Int -> Int
  35 - __: Int -> Int
  36 __ - __: Int, Int -> Int
  37 - __: double -> double
  38 __ - __: double, double -> double
  39 - __: float -> float
  40 __ - __: float, float -> float
  41 __ + __: Int, Int -> Int
  42 __ + __: double, double -> double
  43 __ + __: float, float -> float
  44 __ * __: Int, Int -> Int
  45 __ * __: double, double -> double
  46 __ * __: float, float -> float
  47 __ < __: Int, Int -> Bool
  48 __ < __: double, double -> Bool
  49 __ < __: float, float -> Bool
  50 __ > __: Int, Int -> Bool
  51 __ > __: double, double -> Bool
  52 __ > __: float, float -> Bool
  53 abs: Int -> Int
  54 abs: double -> double
  55 abs: float -> float
  56 div: Int, Int -> Int
  57 mod: Int, Int -> Int
  58 min: Int, Int -> Int
  59 max: Int, Int -> Int
  60 0: -> Int
  61 0: -> double
  62 0: -> float
  63 1: -> Int
  64 1: -> double
  65 1: -> float
  66 __ \inv: double -> double
  67 __ \inv: float -> float
  68 __ / __: double, double -> double
  69 __ / __: float, float -> float
  70 empty: -> _char_Vec
  71 __ || __: _char_Vec, _char_Vec -> _char_Vec
  72 __ \in __: char, _char_Vec -> Bool
  73 count: char, _char_Vec -> Int
  74 head: _char_Vec -> char
  75 init: _char_Vec -> _char_Vec
  76 isEmpty: _char_Vec -> Bool
  77 last: _char_Vec -> char
  78 len: _char_Vec -> Int
  79 prefix: _char_Vec, Int -> _char_Vec
  80 removePrefix: _char_Vec, Int -> _char_Vec
  81 substring: _char_Vec, Int, Int -> _char_Vec
  82 tail: _char_Vec -> _char_Vec
  83 null: -> char
  84 nullTerminated: _char_Vec -> Bool
  85 throughNull: _char_Vec -> _char_Vec
  86 sameStr: _char_Vec, _char_Vec -> Bool
  87 lenStr: _char_Vec -> Int
  88 times10plus: Int, Int -> Int
  89 plus1: Int -> Int
  90 2: -> Int
  91 3: -> Int
  92 4: -> Int
  93 5: -> Int
  94 6: -> Int
  95 7: -> Int
  96 8: -> Int
  97 9: -> Int
  98 __ [ __ ]: _char_Vec, Int -> char
  99 { __ }: char -> _char_Vec