package erlang

  1. Overview
  2. Docs
val mk : ?kind:Erlang__.Erl_ast.type_kind -> ?params:Erlang__.Erl_ast.type_expr list -> name:Erlang__.Erl_ast.atom -> expr:Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.type_decl
val apply : ?args:Erlang__.Erl_ast.type_expr list -> name:Erlang__.Erl_ast.name -> Erlang__.Erl_ast.type_expr
val field : Erlang__.Erl_ast.atom -> Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.record_field
val fun_ : ?args:Erlang__.Erl_ast.type_expr list -> return:Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.type_expr
val record : Erlang__.Erl_ast.name -> Erlang__.Erl_ast.record_field list -> Erlang__.Erl_ast.type_expr
val map_field : ?presence:Erlang__.Erl_ast.field_presence -> Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.type_map_field
val map : Erlang__.Erl_ast.type_map_field list -> Erlang__.Erl_ast.type_expr
val var : Erlang__.Erl_ast.name -> Erlang__.Erl_ast.type_expr
val const : Erlang__.Erl_ast.literal -> Erlang__.Erl_ast.type_expr
val variant : Erlang__.Erl_ast.type_expr list -> Erlang__.Erl_ast.type_expr
val tuple : Erlang__.Erl_ast.type_expr list -> Erlang__.Erl_ast.type_expr
val list : Erlang__.Erl_ast.type_expr -> Erlang__.Erl_ast.type_expr
val opaque : Erlang__.Erl_ast.type_kind
val type_ : Erlang__.Erl_ast.type_kind
val spec : Erlang__.Erl_ast.type_kind
val callback : Erlang__.Erl_ast.type_kind
val any : Erlang__.Erl_ast.type_expr