package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

dune-project

Dependency

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

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

val type_name : Misc.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