package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

val print_qualid : Format.formatter -> Lident.qualident -> unit

val type_name : Zmisc.name_assoc_table

val print_list : 
  (Format.formatter -> 'a -> unit) ->
  string ->
  Format.formatter ->
  'a list ->
  unit

val arrow_tostring : Deftypes.kind -> string

val print_size : Format.formatter -> Deftypes.size -> unit

val print : int -> Format.formatter -> Deftypes.typ -> unit

val print_scheme : Format.formatter -> Deftypes.typ_scheme -> unit

val print_type_params : Format.formatter -> string list -> unit

val print_one_type_variable : Format.formatter -> int -> unit

val print_type_name : Format.formatter -> (Lident.qualident * int list) -> unit

val print_one_variant : 
  Format.formatter ->
  Global.constr_desc Global.info ->
  unit

val print_one_label : Format.formatter -> Global.label_desc Global.info -> unit

val print_type_desc : Format.formatter -> Global.type_components -> unit

val print_type_declaration : 
  Format.formatter ->
  Global.type_desc Global.info ->
  unit

val print_value_type_declaration : 
  Format.formatter ->
  Deftypes.typ_scheme Global.info ->
  unit

val output : Format.formatter -> Deftypes.typ -> unit

val output_size : Format.formatter -> Deftypes.size -> unit

val output_type_declaration : 
  Format.formatter ->
  Global.type_desc Global.info list ->
  unit

val output_value_type_declaration : 
  Format.formatter ->
  Deftypes.typ_scheme Global.info list ->
  unit