模块 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 =

`\|`	`单射`
`\|`	`无单射性`