AlphaGitHub
Source/Packages

Representation.Schema

packages/representations/src/Representation/Schema.alpha

701 lines99 declarations24.8 KiBSHA-256 209c8ba5712e
Download exact fileView at revision3c600751929f56cd01

def · lines 191–205

parameterSchemaContainsIdentity

Full file
191def parameterSchemaContainsIdentity =
192  (lambda unrestricted wanted : (family ParameterIdentity) .
193    (lambda unrestricted schemas : (family StdList (family ParameterSchema)) .
194      (eliminate
195        StdList
196        (lambda unrestricted current : (family StdList (family ParameterSchema)) . (family StdBool))
197        schemas
198        (branch StdListEmpty . (constructor StdBool StdFalse))
199        (branch
200          StdListCons
201          head
202          tail
203          induction
204          .
205          (stdBoolOr (parameterIdentityEqual wanted (parameterSchemaIdentityOf head)) induction)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.