Synopsis instantiate an ADT constructor of a given type with the given children
Function &T make(type[&T] typ, str name, list[value] args)
Usage import Type;
Description This function will build a constructor if the definition exists and throw an exception otherwise.
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit