pub fn default_of(
ast: &Ast,
from: Id<ModuleNode>,
type_: Id<TypeNode>,
at: &str,
) -> Result<Expr, EncodeError>pub fn default_of(
ast: &Ast,
from: Id<ModuleNode>,
type_: Id<TypeNode>,
at: &str,
) -> Result<Expr, EncodeError>