package ocaml-solo5

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding Solo5 backend

Install 

dune-project
 Dependency

github.com Edit opam file Versions (10)

Authors

  1. M
    Martin Lucina <martin@lucina.net>

Maintainers

  1. M
    Martin Lucina <martin@lucina.net>

Sources

v1.3.3.tar.gz
md5=47876167068345542f49279e8fd28896
sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb

doc/compiler-libs.common/Data_types/index.html

Module Data_types

type constructor_description = {
  1. cstr_name : string;
  2. cstr_res : Types.type_expr;
  3. cstr_existentials : Types.type_expr list;
  4. cstr_args : Types.type_expr list;
  5. cstr_arity : int;
  6. cstr_tag : constructor_tag;
  7. cstr_consts : int;
  8. cstr_nonconsts : int;
  9. cstr_generalized : bool;
  10. cstr_private : Asttypes.private_flag;
  11. cstr_loc : Location.t;
  12. cstr_attributes : Parsetree.attributes;
  13. cstr_inlined : Types.type_declaration option;
  14. cstr_uid : Types.Uid.t;
}
and constructor_tag =
  1. | Cstr_constant of int
  2. | Cstr_block of int
  3. | Cstr_unboxed
  4. | Cstr_extension of Path.t * bool
val equal_constr : constructor_description -> constructor_description -> bool
val may_equal_constr : constructor_description -> constructor_description -> bool
val cstr_res_type_path : constructor_description -> Path.t
val cstr_res_type_params : constructor_description -> Types.type_expr list
type label_description = {
  1. lbl_name : string;
  2. lbl_res : Types.type_expr;
  3. lbl_arg : Types.type_expr;
  4. lbl_mut : Asttypes.mutable_flag;
  5. lbl_atomic : Asttypes.atomic_flag;
  6. lbl_pos : int;
  7. lbl_all : label_description array;
  8. lbl_repres : Types.record_representation;
  9. lbl_private : Asttypes.private_flag;
  10. lbl_loc : Location.t;
  11. lbl_attributes : Parsetree.attributes;
  12. lbl_uid : Types.Uid.t;
}
val lbl_res_type_path : label_description -> Path.t