Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances

Contents

Orphan instances

EmbPrj Interface Source #
Instance details Methods icode :: Interface -> S Int32 Source # icod_ :: Interface -> S Int32 Source # value :: Int32 -> R Interface Source #