package zelus

  1. Overview
  2. Docs
val longname : Format.formatter -> Lident.t -> unit
val name : Format.formatter -> Zident.t -> unit
val shortname : Format.formatter -> String.t -> unit
val immediate : Format.formatter -> Lmm.immediate -> unit
val constr0pat : Format.formatter -> Lmm.constr0pat -> unit
val expression : Format.formatter -> Lmm.exp -> unit
val expression_list : Format.formatter -> Lmm.exp list -> unit
val kind : Format.formatter -> Lmm.kind -> unit
val reset : Format.formatter -> Lmm.reset -> unit
val reset_opt : Format.formatter -> Lmm.reset -> unit
val clock : Format.formatter -> Lmm.clock -> unit
val clock_opt : Format.formatter -> Lmm.clock -> unit
val operator : Format.formatter -> Lmm.op -> unit
val equation : Format.formatter -> Lmm.eq -> unit
val ptype : Format.formatter -> Lmm.typ -> unit
val print_env : Format.formatter -> Lmm.tentry Zident.Env.t -> unit
val fundecl : Format.formatter -> string -> Lmm.funexp -> unit
val type_decl : Format.formatter -> Lmm.type_decl -> unit
val implementation : Format.formatter -> Lmm.implementation -> unit
val implementation_list : Format.formatter -> Lmm.implementation list -> unit
OCaml

Innovation. Community. Security.