idris
IRTS.BCImp
data Reg Source
Constructors
data BC Source
toBC :: (Name, SDecl) -> (Name, [BC])Source
bc :: Reg -> SExp -> [BC]Source