Helper (tmpl_dcr.Typing.Helper)

val event_as_ty : 
  Ast.Syntax.event' Ast.Syntax.annotated ->
  Ast.Syntax.type_expr'

type event_kind = Ast.Syntax.type_expr' * Ast.Syntax.event_type'

type event_type_value =

| Undefined
| Defined of event_kind

module EventTypes : sig ... end

type template_ty = {

expr_param_tys : (string * Ast.Syntax.type_expr) list;
event_param_labels : (string * Ast.Syntax.event_label) list;
export_tys : (string * Ast.Syntax.event_label) list;

}

val mk_template_ty : 
  ?expr_param_tys:(string * Ast.Syntax.type_expr) list ->
  ?event_param_labels:(string * Ast.Syntax.event_label) list ->
  ?export_tys:(string * Ast.Syntax.event_label) list ->
  unit ->
  template_ty

val mk_template_ty_from : Ast.Syntax.template_def -> template_ty