Searched defs:toRefTerm (Results 1 – 2 of 2) sorted by relevance
61 toRefTerm (TInteger n) -- = Ref.TBigInt n function67 toRefTerm (TBytes bs) = Ref.TBytes (BS.unpack bs) function69 toRefTerm (TString st) = Ref.TString (T.unpack st) function79 toRefTerm (TBool False) = Ref.TFalse function80 toRefTerm (TBool True) = Ref.TTrue function81 toRefTerm TNull = Ref.TNull function82 toRefTerm (TSimple 23) = Ref.TUndef function83 toRefTerm (TSimple w) = Ref.TSimple (Ref.toSimple w) function84 toRefTerm (THalf f) = if isNaN f function87 toRefTerm (TFloat f) = if isNaN f function[all …]