package zelus

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