Searched refs:VarHead (Results 1 – 7 of 7) sorted by relevance
| /dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/trace/ |
| H A D | browse_xref.pl | 284 functor(VarHead, Name, PredArity),
285 assert_entity(grammar_rule(VarHead)).
330 unbind_head(Head, VarHead),
332 functor(VarHead, Name, Arity),
333 process_body(Body, VarHead).
343 unbind_head(Module:Head, Module:VarHead) :-
345 unbind_head(Head, VarHead).
346 unbind_head(Head, VarHead) :-
349 functor(VarHead, Name, Arity).
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Injectivity.hs | 116 …Var i [] -> return (Just $ VarHead i) -- Only naked variables. Otherwise substituting a neutral te…
137 Var i _ -> return $ Just (VarHead i)
153 [n] -> Just (VarHead n)
187 varToArg c (VarHead i) = MaybeT $ return $ topLevelArg c i
233 isSuperRigid VarHead{} = return True
263 instHead h@(VarHead i)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/ |
| H A D | Internal.hs | 463 icod_ (VarHead a) = icodeN 3 VarHead a
470 valu [3, a] = valuN VarHead a
|
| /dports/devel/fmake/fmake-r250982/ |
| H A D | var.c | 248 VarHead(const char *word, Boolean addSpace, Buffer *buf, void *dummy __unused) in VarHead() function
1830 newStr = VarModify(value, VarHead, NULL); in ParseModifier()
2054 val = VarModify(val, VarHead, NULL); in ParseRestEnd()
|
| /dports/misc/rump/buildrump.sh-b914579/src/usr.bin/make/ |
| H A D | var.c | 300 static Boolean VarHead(GNode *, Var_Parse_State *,
1183 VarHead(GNode *ctx MAKE_ATTR_UNUSED, Var_Parse_State *vpstate, in VarHead() function
3426 newStr = VarModify(ctxt, &parsestate, nstr, VarHead, in ApplyModifiers()
4194 return(VarModify(file, VarHead, NULL));
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/plugins/anomalyDetectionDashboards/node_modules/prettier/esm/ |
| H A D | parser-glimmer.mjs | 1 …VarHead":return{original:e.name,parts:[e.name]}}}function i(e,t){let r,[n,...o]=e.split(".");retur…
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/ |
| H A D | Base.hs | 2532 | VarHead Nat constructor
2541 VarHead i -> text ("VarHead " ++ show i)
4591 killRange h@VarHead{} = h
|