==================== FINAL INTERFACE ====================
2018-03-28 14:43:28.066002 UTC

interface proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp:LiquidHaskell.ProofCombinators 8022
  interface hash: 72c8837b6c6c4cdb1d0753b5753954be
  ABI hash: 2a5e5c41abe073f131c90ae8daa881a6
  export-list hash: 129cf8c0eef6e87346b8ea8597121ccb
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 7c8be83e7fd21df75475dc3e80763e73
  sig of: Nothing
  used TH splices: False
  where
exports:
  LiquidHaskell.ProofCombinators.***
  LiquidHaskell.ProofCombinators.==.
  LiquidHaskell.ProofCombinators.==?
  LiquidHaskell.ProofCombinators.?
  LiquidHaskell.ProofCombinators.trivial
  LiquidHaskell.ProofCombinators.withTheorem
  LiquidHaskell.ProofCombinators.Proof
  LiquidHaskell.ProofCombinators.QED{LiquidHaskell.ProofCombinators.QED}
module dependencies:
package dependencies: base-4.10.1.0* ghc-prim-0.5.1.1
                      integer-gmp-1.0.1.0
orphans: base-4.10.1.0:GHC.Float base-4.10.1.0:GHC.Base
family instance modules: base-4.10.1.0:Control.Applicative
                         base-4.10.1.0:Data.Either base-4.10.1.0:Data.Functor.Const
                         base-4.10.1.0:Data.Functor.Identity base-4.10.1.0:Data.Monoid
                         base-4.10.1.0:Data.Type.Equality base-4.10.1.0:GHC.Generics
                         base-4.10.1.0:GHC.IO.Exception base-4.10.1.0:GHC.TypeLits
                         base-4.10.1.0:GHC.TypeNats
import  -/  base-4.10.1.0:Prelude 31945b7d0084063347fc52506d3a4020
fixities infixl 2 ***, infixl 3 ==., infixl 3 ==?, infixl 3 ?
cc2f50843c9d4f1713d13d548267e9dd
  $tc'QED :: GHC.Types.TyCon
  {- HasNoCafRefs, Strictness: m,
     Unfolding: (GHC.Types.TyCon
                   12000923080054507607##
                   11665548443710365033##
                   LiquidHaskell.ProofCombinators.$trModule
                   LiquidHaskell.ProofCombinators.$tc'QED2
                   0#
                   LiquidHaskell.ProofCombinators.$tc'QED1) -}
d6894f14c35819ab7a89244aa99e4048
  $tc'QED1 :: GHC.Types.KindRep
  {- HasNoCafRefs, Strictness: m1, Inline: [~] -}
df103bddcd0d2334bb7b4c2955b484eb
  $tc'QED2 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS
                   LiquidHaskell.ProofCombinators.$tc'QED3) -}
49b03d6a8f40f4acc29b16af31bfa6b1
  $tc'QED3 :: GHC.Prim.Addr#
  {- HasNoCafRefs, Unfolding: ("'QED"#) -}
96cd90f0f68c2241e78bbc4ae0d23216
  $tcQED :: GHC.Types.TyCon
  {- HasNoCafRefs, Strictness: m,
     Unfolding: (GHC.Types.TyCon
                   15890400099755334405##
                   3798177854102497122##
                   LiquidHaskell.ProofCombinators.$trModule
                   LiquidHaskell.ProofCombinators.$tcQED1
                   0#
                   GHC.Types.krep$*) -}
0dbd5236c436a6a2ae8d07a06019fef1
  $tcQED1 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS
                   LiquidHaskell.ProofCombinators.$tcQED2) -}
19567fed43462b871898d55ca9a0ec65
  $tcQED2 :: GHC.Prim.Addr#
  {- HasNoCafRefs, Unfolding: ("QED"#) -}
c3e80a0bf45488dc2c37e08b983a1314
  $trModule :: GHC.Types.Module
  {- HasNoCafRefs, Strictness: m,
     Unfolding: (GHC.Types.Module
                   LiquidHaskell.ProofCombinators.$trModule3
                   LiquidHaskell.ProofCombinators.$trModule1) -}
d209bc59adbeb8cdce0d43c6cc2b3342
  $trModule1 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS
                   LiquidHaskell.ProofCombinators.$trModule2) -}
e6281320ea7b456470805930b8394295
  $trModule2 :: GHC.Prim.Addr#
  {- HasNoCafRefs, Unfolding: ("LiquidHaskell.ProofCombinators"#) -}
072dd81393a907e75964454636d3f1cc
  $trModule3 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS
                   LiquidHaskell.ProofCombinators.$trModule4) -}
1b3ca39d15d9cd592244283bceb150c9
  $trModule4 :: GHC.Prim.Addr#
  {- HasNoCafRefs,
     Unfolding: ("proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp"#) -}
c170d27a5605246f688c29d159ba9b1d
  (***) :: p -> LiquidHaskell.ProofCombinators.QED -> ()
  {- Arity: 2, HasNoCafRefs, Strictness: <L,A><S,1*H>,
     Unfolding: InlineRule (2, True, False)
                (\ @ p (x :: p) (ds :: LiquidHaskell.ProofCombinators.QED) ->
                 case ds of wild { LiquidHaskell.ProofCombinators.QED ->
                 GHC.Tuple.() }) -}
bd467586ee363cf5a401300fcaa5f1c7
  (==.) :: a -> a -> a
  {- Arity: 2, HasNoCafRefs, Strictness: <L,A><S,1*U>,
     Inline: (sat-args=2),
     Unfolding: InlineRule (2, False, True)
                (\ @ a (ds :: a) (x :: a) -> x) -}
90404032ca65b96e7ed97a48a1b617fe
  (==?) :: a -> a -> a
  {- Arity: 2, HasNoCafRefs, Strictness: <L,A><S,1*U>,
     Inline: (sat-args=2),
     Unfolding: InlineRule (2, False, True)
                (\ @ a (ds :: a) (x :: a) -> x) -}
d70f5ac63a68d4ae42cea029423f6064
  (?) :: a -> LiquidHaskell.ProofCombinators.Proof -> a
  {- Arity: 2, HasNoCafRefs, Strictness: <S,1*U><L,A>,
     Inline: (sat-args=2),
     Unfolding: InlineRule (2, False, True)
                (\ @ a (x :: a) (ds :: LiquidHaskell.ProofCombinators.Proof) ->
                 x) -}
44ef8ee247f45a7f09c4b78bce629349
  type Proof = ()
0b1d1d95be94164fa95ad436a68e2363
  data QED = QED
f1e24ad663415a397272a07fcb1d2ff2
  trivial :: LiquidHaskell.ProofCombinators.Proof
  {- HasNoCafRefs,
     Unfolding: InlineRule (0, True, True) GHC.Tuple.() -}
435351661ce9e77bad05c773c3782144
  withTheorem :: a -> LiquidHaskell.ProofCombinators.Proof -> a
  {- Arity: 2, HasNoCafRefs, Strictness: <S,1*U><L,A>,
     Unfolding: InlineRule (2, True, True)
                (\ @ a (z :: a) (ds :: LiquidHaskell.ProofCombinators.Proof) ->
                 z) -}
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: safe
require own pkg trusted: False