type valuet =
| INT of int
| BOOL of bool
| NULL
| PAIR of ...
| CLOS of ... (* closure = lambda value )
| CLOSMEM of ... ( closure of memoizing lambda value *)
| MPAIR of ...
| VOID
| UNDEF
value_t * value_t 라고 생각해도 되나요?
아니면 특정 몇 개의 타입 (INT, BOOL등)으로 한정되어 있나요?
type valuet = | INT of int | BOOL of bool | NULL | PAIR of ... | CLOS of ... (* closure = lambda value ) | CLOSMEM of ... ( closure of memoizing lambda value *) | MPAIR of ... | VOID
| UNDEF
value_t * value_t 라고 생각해도 되나요? 아니면 특정 몇 개의 타입 (INT, BOOL등)으로 한정되어 있나요?
감사합니다.