curry-base-0.4.2: Functions for manipulating Curry programs

Copyright(c) 2006 , Martin Engelke 2011 - 2014, Björn Peemöller 2014 , Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Curry.ExtendedFlat.InterfaceEquivalence

Description

 

Synopsis

Documentation

eqInterface :: Prog -> Prog -> Bool Source #

Check whether the interfaces of two FlatCurry programs are equivalent.