loki.types.procedure_type module