package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
val no_op : 'a -> 'b -> unit
val is_infix : Stdlib.String.t -> bool
val parenthesis : Stdlib.String.t -> Stdlib.String.t
val shortname : Stdlib.Format.formatter -> Stdlib.String.t -> unit
val qualident : Stdlib.Format.formatter -> Lident.qualident -> unit
val longname : Stdlib.Format.formatter -> Lident.t -> unit
val name : Stdlib.Format.formatter -> Zident.t -> unit
val source_name : Stdlib.Format.formatter -> Zident.t -> unit
val immediate : Stdlib.Format.formatter -> Deftypes.immediate -> unit
val constant : Stdlib.Format.formatter -> Deftypes.constant -> unit
val print_opt_magic : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b option -> unit
val pattern : Stdlib.Format.formatter -> Zelus.pattern -> unit
val pattern_list : string -> string -> string -> Stdlib.Format.formatter -> Zelus.pattern list -> unit
val ptype : Stdlib.Format.formatter -> Zelus.type_expression -> unit
val default : Stdlib.Format.formatter -> Deftypes.constant Zelus.default -> unit
val combine : Stdlib.Format.formatter -> Lident.t -> unit
val print_vardec_list : Stdlib.Format.formatter -> Zelus.vardec list -> unit
val kind : Deftypes.mkind -> string
val print_binding : Stdlib.Format.formatter -> (Zident.t * Deftypes.tentry) -> unit
val print_env : Stdlib.Format.formatter -> Deftypes.tentry Zident.Env.t -> unit
val print_writes : Stdlib.Format.formatter -> Deftypes.defnames -> unit
val print_eq_info : Stdlib.Format.formatter -> Zelus.eq -> unit
val block : (Stdlib.Format.formatter -> Zelus.local list -> unit) -> ('a -> 'b -> Stdlib.Format.formatter -> 'c -> unit) -> 'd -> 'e -> Stdlib.Format.formatter -> 'f Zelus.block -> unit
val match_handler : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b Zelus.match_handler -> unit
val present_handler : (Stdlib.Format.formatter -> Zelus.scondpat -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b Zelus.present_handler -> unit
val period : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b Zelus.period -> unit
val expression : Stdlib.Format.formatter -> Zelus.exp -> unit
val operator : Stdlib.Format.formatter -> Zelus.op -> Zelus.exp list -> unit
val equation : Stdlib.Format.formatter -> Zelus.eq -> unit
val block_equation_list : string -> string -> Stdlib.Format.formatter -> Zelus.eq list Zelus.block -> unit
val equation_list : string -> string -> Stdlib.Format.formatter -> Zelus.eq list -> unit
val state_handler_list : Zelus.is_weak -> Stdlib.Format.formatter -> Zelus.state_handler list -> unit
val state_handler : Zelus.is_weak -> Stdlib.Format.formatter -> Zelus.state_handler -> unit
val escape : Stdlib.Format.formatter -> Zelus.escape -> unit
val scondpat : Stdlib.Format.formatter -> Zelus.scondpat -> unit
val statepat : Stdlib.Format.formatter -> Zelus.statepat -> unit
val state : Stdlib.Format.formatter -> Zelus.state_exp -> unit
val locals : Stdlib.Format.formatter -> Zelus.local list -> unit
val local : Stdlib.Format.formatter -> Zelus.local -> unit
val constr_decl : Stdlib.Format.formatter -> Zelus.constr_decl_desc Zelus.localized -> unit
val type_decl : Stdlib.Format.formatter -> Zelus.type_decl_desc Zelus.localized -> unit
val state_ident_typ : Stdlib.Format.formatter -> (Zident.t * Deftypes.typ) Zmisc.State.t -> unit
val state_eq : Stdlib.Format.formatter -> Zelus.eq Zmisc.State.t -> unit
val open_module : Stdlib.Format.formatter -> Stdlib.String.t -> unit
val funexp : Stdlib.Format.formatter -> Zelus.funexp -> unit
val implementation : Stdlib.Format.formatter -> Zelus.implementation_desc Zelus.localized -> unit
val implementation_list : Stdlib.Format.formatter -> Zelus.implementation_desc Zelus.localized list -> unit
val interface : Stdlib.Format.formatter -> Zelus.interface_desc Zelus.localized -> unit
val interface_list : Stdlib.Format.formatter -> Zelus.interface_desc Zelus.localized list -> unit
val print_value_code : Stdlib.Format.formatter -> Global.value_code -> unit
val print_value : Stdlib.Format.formatter -> Global.value_exp -> unit