Module meta_types

Functions

• array_element_type
  Returns element type of passed Array type Array -> T
• array_of_type
  Returns Array type of the passed element type T -> Array
• first_element_type
  Returns the type of of first element (T1, T2, …) -> T1
• second_element_type
  Returns the type of second element (T1, T2, …) -> T2