diff options
Diffstat (limited to 'src/interp/g-util.boot')
-rw-r--r-- | src/interp/g-util.boot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index dc73604a..34997305 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -51,6 +51,18 @@ module g_-util where --% +++ Data structure holding a information about capsule-level function +++ specification. +structure %FunctionContext == + Record(db: %Maybe %Database, op: %Identifier, sig: %Signature, + pred: %Predicate) with + fcDatabase == (.db) + fcOperator == (.op) + fcSignature == (.sig) + fcPredicate == (.pred) + +--% + abstraction? x == x is [op,:.] and ident? op and abstractionOperator? op |