0
MLY
에 식별자 :
이recursive_def:
| f = term_variable
ty_args = multiple(formal_type_arguments)
te_args = multiple(term_arguments)
codomain = preceded(COLON,typ)
EQ t = loc(term)
{ let loc = ($startpos(ty_args), $endpos(t)) in
make_recursive_definition f loc ty_args te_args codomain t }
(* one should check that the right-hand side of a recursive definition
is a value, e.g. a function or a data constructor application; this
is not done for the moment. *)
...
pattern:
| d = data_constructor tvars = multiple(formal_type_arguments) LBRACE fields = semi(term_variable) RBRACE
{ SynPatData (($startpos, $endpos), d, tvars, fields) }
...
(* Recording locations. *)
loc(TERM):
| t = TERM
{ SynTeLoc (($startpos, $endpos), t) }
사람이 $
+ identifier
의 의미는 무엇인지 말해 줄 수 있을까요? 그것들은 fonctions 또는 변수입니까? 그들의 가치관은 어떻게 공급되고 있습니까?