模組 Asttypes

module Asttypes: sig .. end

由 parsetree 和 typedtree 使用的輔助 AST 類型。

警告：此模組不穩定，是 compiler-libs 的一部分。

type constant =

`\|`	`Const_int of int`
`\|`	`Const_char of char`
`\|`	`Const_string of string * Location.t * string option`
`\|`	`Const_float of string`
`\|`	`Const_int32 of int32`
`\|`	`Const_int64 of int64`
`\|`	`Const_nativeint of nativeint`

type rec_flag =

`\|`	`非遞迴`
`\|`	`遞迴`

type direction_flag =

`\|`	`向上`
`\|`	`向下`

type private_flag =

`\|`	`私有`
`\|`	`公開`

type mutable_flag =

`\|`	`不可變`
`\|`	`可變`

type virtual_flag =

`\|`	`虛擬`
`\|`	`具體`

type override_flag =

`\|`	`覆寫`
`\|`	`全新`

type closed_flag =

`\|`	`封閉`
`\|`	`開啟`

type label = string

type arg_label =

type 'a loc = 'a Location.loc = {

	`txt : 'a;`
	`loc : Location.t;`

}

type variance =

type injectivity =

`\|`	`單射`
`\|`	`非單射`