module MLast:sig
..end
typeloc =
Ploc.t
type'a
v ='a
type
ctyp =
| |
TyAcc of |
| |
TyAli of |
| |
TyAny of |
| |
TyApp of |
| |
TyArr of |
| |
TyCls of |
| |
TyLab of |
| |
TyLid of |
| |
TyMan of |
| |
TyObj of |
| |
TyOlb of |
| |
TyPol of |
| |
TyQuo of |
| |
TyRec of |
| |
TySum of |
| |
TyTup of |
| |
TyUid of |
| |
TyVrn of |
type
poly_variant =
| |
PvTag of |
| |
PvInh of |
typetype_var =
string * (bool * bool)
type 'a
class_infos = {
|
ciLoc : |
|
ciVir : |
|
ciPrm : |
|
ciNam : |
|
ciExp : |
type
patt =
| |
PaAcc of |
| |
PaAli of |
| |
PaAnt of |
| |
PaAny of |
| |
PaApp of |
| |
PaArr of |
| |
PaChr of |
| |
PaInt of |
| |
PaFlo of |
| |
PaLab of |
| |
PaLid of |
| |
PaOlb of |
| |
PaOrp of |
| |
PaRng of |
| |
PaRec of |
| |
PaStr of |
| |
PaTup of |
| |
PaTyc of |
| |
PaTyp of |
| |
PaUid of |
| |
PaVrn of |
type
expr =
| |
ExAcc of |
| |
ExAnt of |
| |
ExApp of |
| |
ExAre of |
| |
ExArr of |
| |
ExAsr of |
| |
ExAss of |
| |
ExBae of |
| |
ExChr of |
| |
ExCoe of |
| |
ExFlo of |
| |
ExFor of |
| |
ExFun of |
| |
ExIfe of |
| |
ExInt of |
| |
ExLab of |
| |
ExLaz of |
| |
ExLet of |
| |
ExLid of |
| |
ExLmd of |
| |
ExMat of |
| |
ExNew of |
| |
ExObj of |
| |
ExOlb of |
| |
ExOvr of |
| |
ExRec of |
| |
ExSeq of |
| |
ExSnd of |
| |
ExSte of |
| |
ExStr of |
| |
ExTry of |
| |
ExTup of |
| |
ExTyc of |
| |
ExUid of |
| |
ExVrn of |
| |
ExWhi of |
type
module_type =
| |
MtAcc of |
| |
MtApp of |
| |
MtFun of |
| |
MtLid of |
| |
MtQuo of |
| |
MtSig of |
| |
MtUid of |
| |
MtWit of |
type
sig_item =
| |
SgCls of |
| |
SgClt of |
| |
SgDcl of |
| |
SgDir of |
| |
SgExc of |
| |
SgExt of |
| |
SgInc of |
| |
SgMod of |
| |
SgMty of |
| |
SgOpn of |
| |
SgTyp of |
| |
SgUse of |
| |
SgVal of |
type
with_constr =
| |
WcTyp of |
| |
WcMod of |
type
module_expr =
| |
MeAcc of |
| |
MeApp of |
| |
MeFun of |
| |
MeStr of |
| |
MeTyc of |
| |
MeUid of |
type
str_item =
| |
StCls of |
| |
StClt of |
| |
StDcl of |
| |
StDir of |
| |
StExc of |
| |
StExp of |
| |
StExt of |
| |
StInc of |
| |
StMod of |
| |
StMty of |
| |
StOpn of |
| |
StTyp of |
| |
StUse of |
| |
StVal of |
type
type_decl = {
|
tdNam : |
|
tdPrm : |
|
tdPrv : |
|
tdDef : |
|
tdCon : |
type
class_type =
| |
CtCon of |
| |
CtFun of |
| |
CtSig of |
type
class_sig_item =
| |
CgCtr of |
| |
CgDcl of |
| |
CgInh of |
| |
CgMth of |
| |
CgVal of |
| |
CgVir of |
type
class_expr =
| |
CeApp of |
| |
CeCon of |
| |
CeFun of |
| |
CeLet of |
| |
CeStr of |
| |
CeTyc of |
type
class_str_item =
| |
CrCtr of |
| |
CrDcl of |
| |
CrInh of |
| |
CrIni of |
| |
CrMth of |
| |
CrVal of |
| |
CrVir of |
val loc_of_ctyp : ctyp -> loc
val loc_of_patt : patt -> loc
val loc_of_expr : expr -> loc
val loc_of_module_type : module_type -> loc
val loc_of_module_expr : module_expr -> loc
val loc_of_sig_item : sig_item -> loc
val loc_of_str_item : str_item -> loc
val loc_of_class_type : class_type -> loc
val loc_of_class_sig_item : class_sig_item -> loc
val loc_of_class_expr : class_expr -> loc
val loc_of_class_str_item : class_str_item -> loc