Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.OpDecl

Description

analyse operation declarations

Synopsis

Documentation

anaOpItem :: OpBrand -> Annoted OpItem -> State Env (Annoted (Maybe OpItem))

analyse an op-item

anaProgEq :: Annoted ProgEq -> State Env (Maybe ProgEq)

analyse a program equation

mkEnvForall :: Env -> Term -> Range -> Term

quantify