Home
last modified time | relevance | path

Searched defs:TokInt32 (Results 1 – 2 of 2) sorted by relevance

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DProperties.hs606 data TokInt32 = TokInt32 Bool UInt type
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/tests/Tests/
H A DProperties.hs606 data TokInt32 = TokInt32 Bool UInt type