Documentation

module PPrint

module Id

module Kind

module Type

module Pred

module Scheme

module Subst

module Unify

module Assump

module Lit

module Pat

module TIMain

module TIProg

module Static

test :: ClassEnv -> [Assump] -> [BindGroup] -> IO ()Source

save :: String -> ClassEnv -> [Assump] -> [BindGroup] -> IO ()Source